RSL应用于协议形式化描述的研究

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户：fongyu061440

【摘要】

：

在RSL形式语言的基础上扩充了时间描述机制,使其能够描述协议的实时性;并且根据该语言的特点,提出了一种面向对象的FSM模型(OOFSM),该模型将面向对象技术与FSM相结合,既可以

【作者】

：

赵静屈玉贵赵保华

【机构】

：

中国科学技术大学

【出处】

：

小型微型计算机系统

【发表日期】

：

2004年3期

【关键词】

：

形式化描述 RSL 形式描述语言面向对象 FSM 时间描述机制通信协议 formal description RSL object-oriented tec

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

在RSL形式语言的基础上扩充了时间描述机制,使其能够描述协议的实时性;并且根据该语言的特点,提出了一种面向对象的FSM模型(OOFSM),该模型将面向对象技术与FSM相结合,既可以有效地解决当构造复杂协议时FSM所面临的状态爆炸问题,又可以使所描述的协议具有可重用性、可组装性且易于维护;最后给出了一个实例说明OOFSM的建模过程,并用扩充的RSL进行了形式化描述.

其他文献

七个苯甲酸酯类化合物的抗植物病原菌活性研究

以合成的七个苯甲酸酯类化合物,与甲基硫菌灵作为阳性对照,采用Z字传菌法测试其对西瓜蔓枯病菌、棉花枯萎病菌、番茄灰霉病菌、大麦赤霉病菌、番茄叶霉病菌、白三叶草链格孢菌和番茄链格孢菌七种植物病原菌的抗菌活性.其中化合物1对番茄叶霉病菌的抑菌率达到43.89%(甲基硫菌灵为5.94%),化合物2对番茄链格孢菌的抗菌率高达39.02%(甲基硫菌灵为10.97%),化合物5对白三叶草链格孢菌的抗菌率为13.

期刊

西瓜蔓枯病菌棉花枯萎病菌番茄灰霉病菌大麦赤霉病菌番茄叶霉病菌白三叶草链格孢菌番茄链格孢菌抗植物病原菌活性Mycosphaerlla meloni

孙悟空与鲁智深形象建构相似性比较

通读《西游记》《水浒传》文本,发现无论从身份定位、人生追求、生命历练,还是最终归宿看,孙悟空与鲁智深形象的建构存在诸多相似性,从某种意义上讲,属于形象同构。通过分析

期刊

孙悟空鲁智深形象建构比较Sun WukongLu Zhishenimage constructioncomparison

土壤重(类)金属消解方法的研究进展

综述了目前国内外土壤重（类）金属的消解方法及相关标准,分析了各种方法的优缺点。指出传统的电热板消解法已逐渐被淘汰,微波消解法应用广泛却存在一定的局限性,全自动石墨消解

期刊

土壤重(类)金属消解方法

基于iSCSI的附网存储安全系统的研究与实现

NAS的主流技术是采用文件协议,但基于文件协议的NAS设备存在文件访问速度、数据备份、资源整合和管理等方面的问题,目前出现了一种融合iSCSI块协议的NAS设备.针对基于iSCSI协

期刊

附网存储ISCSI认证完整性network attached storage(NAS)iSCSI authentication integrity

网络文学文本的阶段性特征探究

中国网络文学诞生二十年来,经历了从初期的自由抒写、免费阅读到利益驱动下的商业化写作和付费阅读,再发展到当前以IP开发为中心的全版权运营模式。随着商业化程度的逐步加深

期刊

网络文学文本叛逆与理想类型与模式多元与精品network literature textrebellion and idealstypes and pa

腹横纹小切口手术治疗小儿疝气的可行性分析

目的：分析腹横纹小切口手术治疗小儿疝气的可行性。方法：随机将收治的112例患者分为观察组和对照组,观察组患者主要行腹横纹小切口手术治疗,对照组患者行常规手术治疗,观察两组

期刊

小儿疝气腹横纹小切口手术可行性

移动数据库中支持断连操作的一种新策略

在移动环境中,为了能够支持断连操作,有两个主要任务:一个是断连前,移动客户机的数据缓存;另一个是重连机后,移动客户机的暂时事务在服务器上重新执行,本文提出了一种新策略:

期刊

移动数据库断连操作缓存计数事务mobile database disconnected operation caching counting tran

49例结核性脑膜炎临床及脑脊液特征分析

目的：分析结核性脑膜炎临床及脑脊液特征。方法：回顾性分析49例结核性脑膜炎患者的临床资料,按照临床特征将所有患者分为Ⅰ组（脑神经麻痹,29例）和Ⅱ组（无脑神经麻痹,20例）,比较分析

期刊

结核性脑膜炎脑神经脑脊液Tuberculous meningitis Cranial nerve Cerebrospinal fluid

映像志

个人稆片·雷宁雷宁，丽水日报摄影记者，2011年由浙江大学城市学院毕业后进入丽水日报担任摄影记者至今。获2013年度浙江新闻奖新闻摄影三等奖，2014年度浙江新闻奖新闻摄影二

期刊

摄影记者浙报集团新闻摄影新闻奖浙江日报当代摄影赛金赵超构报业集团图片新闻

心境障碍躁狂症抑郁症护理工作中临床路径的应用价值

目的分析在患有心境障碍躁狂症抑郁症的患者中选择临床护理路径措施进行护理的应用效果。方法选择我院在2018年4月8日至2018年12月30日确诊收治的98名心境障碍躁狂症抑郁症的

期刊

临床护理路径心境障碍躁狂症抑郁症常规护理护理价值效果

RSL应用于协议形式化描述的研究

其他学术论文