| RSL应用于协议形式化描述的研究 |
| |
| 引用本文： | 赵静,屈玉贵,赵保华. RSL应用于协议形式化描述的研究[J]. 小型微型计算机系统, 2004, 25(3): 447-450 |
| |
| 作者姓名： | 赵静 屈玉贵 赵保华 |
| |
| 作者单位： | 中国科学技术大学,计算机系,安徽,合肥,230027 |
| |
| 基金项目： | 国家自然科学基金重大研究计划项目 ( 90 10 40 10 )资助，国家 863计划项目 ( 2 0 0 1AA112 0 62 )资助 |
| |
| 摘 要： | 在RSL形式语言的基础上扩充了时间描述机制，使其能够描述协议的实时性；并且根据该语言的特点．提出了一种面向对象的FSM模型(OOFSM)，该模型将面向对象技术与FSM相结合．既可以有效地解决当构造复杂协议时FSM所面临的状态爆炸问题，又可以使所描述的协议具有可重用性、可组装性且易于维护；最后给出了一个实例说明OOFSM的建模过程．并用扩充的RSL进行了形式化描述。
|
| 关 键 词： | 形式化描述 RSL 形式描述语言 面向对象 FSM 时间描述机制 通信协议 |
| 文章编号： | 1000-1220(2004)03-0447-04 |
Research on Formal Description of Protocols Based on RSL |
| |
| ZHAO Jing,QU Yu-gui,ZHAO Bao-hua. Research on Formal Description of Protocols Based on RSL[J]. Mini-micro Systems, 2004, 25(3): 447-450 |
| |
| Authors: | ZHAO Jing QU Yu-gui ZHAO Bao-hua |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
