状态机嵌入DEVS的组合建模方法研究

DEVS提供了模块化、层次化的系统建模和仿真执行框架,但是缺乏对于系统行为的抽象建模能力。状态图扩展了原有的FSM,通过可视化的、灵活的状态迁移图描述系统的复杂行为。提出将状态图嵌入DEVS的组合建模方法,互为补充,以建立复杂的离散控制系统。DEVS作为系统的建模框架并提供执行逻辑支持,状态图扩展DEVS的事件交互机制和时间推进机制,描述系统的行为逻辑。详细介绍了状态图和DEVS的语法语义,重点阐述状态图嵌入DEVS的实现机制。结合一个应用实例,说明嵌入状态图的DEVS用于建立离散控制系统模型的优势。

Research on a Composable Modeling Approach of Embedding the State Machine into DEVS

DEVS provides a modular and hierarchical system modeling and simulation framework but lacks the ability of behavior modeling.Statecharts extend finite state machine and do outstanding jobs in modeling complicated behavior of systems by means of visual and flexible state-transition diagrams.Hence,a composable modeling approach,embedding the statecharts into DEVS to complement each other,is raised.It can be used to build complicated discrete control system.DEVS,as a system modeling framework,provides simulation logical support and statecharts expand the event interaction mechanism of DEVS which can be used to modeling system behavior logic.The paper details the syntax and semantics of statecharts and DEVS,and emphasizes on the mechanism of embedding statecharts into DEVS.The advantages of building discrete control system models by embedding statecharts into DEVS are illustrated by an application example.