计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (6): 20-24.DOI: 10.3778/j.issn.1002-8331.2009.006
王向云1,赵 雷2,蔡开元2
WANG Xiang-yun1,ZHAO Lei2,CAI Kai-yuan2
摘要: 随着扩展有限状态机(EFSM)模型在计算机科学和工程领域的广泛应用,EFSM的设计逐渐成为一个重要的问题。目前EFSM的设计仍然主要依赖于个人经验,缺乏理论基础。由于EFSM中每个转移的谓词可以看作此转移的一个监控器,所以可以用离散事件系统的监控理论为EFSM设计提供理论基础。首先定义了有限状态机(FSM)导出的EFSM及其产生的语言。然后,基于监控理论中的受控对象和监控器,提出了一种设计EFSM的方法,用离散事件系统监控理论为EFSM设计提供理论依据。最后用两个实际例子说明了提出方法的可用性和有用性。