| 引用本文: | 刘晨,王维平,朱一凡.状态机嵌入DEVS的组合建模方法研究.[J].国防科技大学学报,2005,27(5):56-61.[点击复制] |
| LIU Chen,WANG Weiping,ZHU Yifan.Research on a Composable Modeling Approach of Embedding the State Machine into DEVS[J].Journal of National University of Defense Technology,2005,27(5):56-61[点击复制] |
|
| |
|
|
| 本文已被：浏览 6808次 下载 5666次 |
| 状态机嵌入DEVS的组合建模方法研究 |
| 刘晨, 王维平, 朱一凡 |
|
(国防科技大学 信息系统与管理学院，湖南 长沙 410073)
|
| 摘要: |
| DEVS提供了模块化、层次化的系统建模和仿真执行框架，但是缺乏对于系统行为的抽象建模能力。状态图扩展了原有的FSM，通过可视化的、灵活的状态迁移图描述系统的复杂行为。提出将状态图嵌入DEVS的组合建模方法，互为补充，以建立复杂的离散控制系统。DEVS作为系统的建模框架并提供执行逻辑支持，状态图扩展DEVS的事件交互机制和时间推进机制，描述系统的行为逻辑。详细介绍了状态图和DEVS的语法语义，重点阐述状态图嵌入DEVS的实现机制。结合一个应用实例，说明嵌入状态图的DEVS用于建立离散控制系统模型的优势。 |
| 关键词: 状态机 离散事件系统描述 行为建模 组合建模 |
| DOI： |
| 投稿日期：2005-06-10 |
| 基金项目:国家自然科学基金资助项目(60574056) |
|
| Research on a Composable Modeling Approach of Embedding the State Machine into DEVS |
| LIU Chen, WANG Weiping, ZHU Yifan |
|
(College of Information System and Management, National Univ. of Defense Technology, Changsha 410073, China)
|
| Abstract: |
| 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. |
| Keywords: state machine discrete event system specification behavioral modeling composable modeling |
|
|
