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

• 作者: 屈玉贵 赵保华 赵静
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 形式化描述 RSL 面向对象技术 FSM
• 年，卷（期）: 2004,（3）
• 页码范围: 447-450
• 页数: 4页
• 分类号: TP393
• 字数: 3253字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2004.03.030

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	屈玉贵	中国科学技术大学计算机系	98	1088	19.0	27.0
2	赵保华	中国科学技术大学计算机系	152	1481	21.0	28.0
3	赵静	中国科学技术大学计算机系	57	297	9.0	14.0