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

Research on Formal Description of Protocols Based on RSL

作　　者：赵静[1] 屈玉贵[1] 赵保华[1] 

机构地区：[1]中国科学技术大学计算机系,安徽合肥230027

出　　处：《小型微型计算机系统》2004年第3期447-450,共4页Journal of Chinese Computer Systems

基　　金：国家自然科学基金重大研究计划项目 ( 90 10 40 10 )资助;国家 863计划项目 ( 2 0 0 1AA112 0 62 )资助

摘　　要：在 RSL 形式语言的基础上扩充了时间描述机制 ,使其能够描述协议的实时性 ;并且根据该语言的特点 ,提出了一种面向对象的 FSM模型 (OOFSM) ,该模型将面向对象技术与 FSM相结合 ,既可以有效地解决当构造复杂协议时 FSM所面临的状态爆炸问题 ,又可以使所描述的协议具有可重用性、可组装性且易于维护 ;最后给出了一个实例说明 OOFSM的建模过程 ,并用扩充的This paper introduces a method about extension of RAISE Specification Language by adding time constructors for specifying real-time protocols. It also presents an OOFSM model by combining object-oriented techniques with FSM. The modeling of OOFSM can not only reduce complexity of FSM, but also make formal description of protocols with reusability and easy maintainability. Finally, an example is given to show modeling process and formal description based on extended RSL.

关 键 词：形式化描述 RSL 形式描述语言 面向对象 FSM 时间描述机制 通信协议 

分 类 号：TN915.04[电子电信—通信与信息系统] TP301.2[电子电信—信息与通信工程]