基于监控理论的EFSM设计方法

摘要

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