论文部分内容阅读
随着扩展有限状态机（EFSM）模型在计算机科学和工程领域的广泛应用，EFSM的设计逐渐成为一个重要的问题。目前EFSM的设计仍然主要依赖于个人经验，缺乏理论基础。由于EFSM中每个转移的谓词可以看作此转移的一个监控器，所以可以用离散事件系统的监控理论为EFSM设计提供理论基础。首先定义了有限状态机（FSM）导出的EFSM及其产生的语言。然后，基于监控理论中的受控对象和监控器，提出了一种设计EFSM的方法，用离散事件系统监控理论为EFSM设计提供理论依据。最后用两个实际例子说明了提出方法的可用性和有用性。