作者:赵静; 屈玉贵; 赵保华形式化描述rsl形式描述语言面向对象fsm时间描述机制通信协议
摘要:在RSL形式语言的基础上扩充了时间描述机制,使其能够描述协议的实时性;并且根据该语言的特点,提出了一种面向对象的FSM模型(OOFSM),该模型将面向对象技术与FSM相结合,既可以有效地解决当构造复杂协议时FSM所面临的状态爆炸问题,又可以使所描述的协议具有可重用性、可组装性且易于维护;最后给出了一个实例说明OOFSM的建模过程,并用扩充的RSL进行了形式化描述.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社