摘要
DEVS提供了模块化、层次化的系统建模和仿真执行框架,但是缺乏对于系统行为的抽象建模能力。状态图扩展了原有的FSM,通过可视化的、灵活的状态迁移图描述系统的复杂行为。提出将状态图嵌入DEVS的组合建模方法,互为补充,以建立复杂的离散控制系统。DEVS作为系统的建模框架并提供执行逻辑支持,状态图扩展DEVS的事件交互机制和时间推进机制,描述系统的行为逻辑。详细介绍了状态图和DEVS的语法语义,重点阐述状态图嵌入DEVS的实现机制。结合一个应用实例,说明嵌入状态图的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.
出处
《国防科技大学学报》
EI
CAS
CSCD
北大核心
2005年第5期56-61,共6页
Journal of National University of Defense Technology
基金
国家自然科学基金资助项目(60574056)
关键词
状态机
离散事件系统描述
行为建模
组合建模
state machine
discrete event system specification
behavioral modeling
composable modeling
