论文部分内容阅读
通信有限状态机(CFSM)是一种直观、易懂且描述能力较强的形式描述工具。它被广泛地用来描述通信协议等。但是,由于描述对象的复杂性和缺少适当的支援工具,通信有限状态机的生成一般依靠手工完成。这除了效率低外,也使得所产生的CFSM的性能取决于描述人员的习惯、经验、能力等。本文描述一个基于知识的CFSM半自动生成器。该生成器用专家系统开发语言OPS83构成,能交互地生成两个不含常见逻辑错误的互相传递消息的CFSM。另外,该生成器还以友好的用户接口:(图形、颜色、文字等方式)向用户展示CFSM的生成过程和生成结果