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

Design approach for EFSM based on supervisory control theory

作　　者：王向云[1] 赵雷[2] 蔡开元[2] 

机构地区：[1]天津师范大学计算机与信息工程学院,天津300387 [2]北京航空航天大学自动控制系,北京100083

出　　处：《计算机工程与应用》2009年第6期20-24,81,共6页Computer Engineering and Applications

基　　金：国家自然科学基金;天津市高等学校科技发展基金计划项目;天津师范大学引进人才基金计划项目~~

摘　　要：随着扩展有限状态机(EFSM)模型在计算机科学和工程领域的广泛应用,EFSM的设计逐渐成为一个重要的问题。目前EFSM的设计仍然主要依赖于个人经验,缺乏理论基础。由于EFSM中每个转移的谓词可以看作此转移的一个监控器,所以可以用离散事件系统的监控理论为EFSM设计提供理论基础。首先定义了有限状态机(FSM)导出的EFSM及其产生的语言。然后,基于监控理论中的受控对象和监控器,提出了一种设计EFSM的方法,用离散事件系统监控理论为EFSM设计提供理论依据。最后用两个实际例子说明了提出方法的可用性和有用性。With Extended Finite State Machine（EFSM） being applied widely in the fields of computer science and engineering, the design of EFSM is becoming an important issue.However,existing design methods for EFSM lack rigorous theoretical foundation and therefore have to rely heavily on the experience of personal.In this paper,the supervisory control theory of discrete event systems are suggested to be a theoretical foundation to EFSM design,since a transition predicate of an EFSM can be seen as a supervisor of the transition.Firstly,the EFSM induced by a Finite State Machine（FSM） and its language are introduced. Then,based on a plant and its supervisor in the supervisory control theory of discrete event systems,an approach to design EFSM is presented and a rigorous foundation to EFSM design is provided.At the end,this paper illustrates the approach by a password protection module and a software testing process.

关 键 词：形式化方法 软件控制论 离散事件系统 扩展有限状态机(EFSM) 有限状态机(FSM) 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论] O231[自动化与计算机技术—计算机科学与技术]