一个基于知识的通信有限状态机生成器

A Knowledge-Based CFSM Generator

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

Communicating Finite State Machines (CFSM) are widely used in protocol engineering field, because they are very intuitive, comprehensible and easy to be implemented for description of communication protocols. However, because of the complexity of protocols to be described and absence of supporting tools, production of CFSM for describing a protocol is always performed by human hand. Except for low efficiency, this method makes that the quality of the produced CFSM is dependent on the experience, ability and habit of a human describer.This paper describes a knowledge-based CFSM generator, which interactively produces two CFSM's exchanging messages through two FIFO channels. The generator has been developed by using OPS 83 which is a programing language for developing expert system Construction method of the generator and the knowledge used in it ate discussed.