【摘要】 可执行体系结构建模与仿真验证在复杂大系统和体系的设计与构建中起着至关重要的作用,但目前相关的概念和方法还不是很成熟,缺乏统一的认识和标准,针对不同的可执行需求存在着很多不同的执行机制和执行环境。分析和总结了可执行体系结构建模的三大要素,并且比较了这些要素的可选项,提出了一个基于Parallel Discrete Event System Specification(P-DEVS)的通用可执行体系结构建模与仿真方法,实现了从图形化建模到仿真代码自动生成的全过程,结合实例介绍了所提方法在机场综合信息系统中的应用来证明该方法的可行性和有效性。更多还原

【Abstract】 Executable architecture modeling plays a vital role in the design of complex systems and System of Systems(So S), but there is still no common view and standard, unified execution mechanism and environment for an executable architecture. Three major elements of executable architecting were analyzed and summarized with a comparison among the options of these elements. To realize automated transformation from graphical models to executable codes, a generic modeling approach to executable architecture of So S based on Parallel Discrete Event System Specification(P-DEVS) was proposed, and a case study of airport So S shows its feasibility and effectiveness.更多还原