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

Research on Formal Description of Protocols Based on RSL

在 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.