基于P-DEVS的可执行体系结构建模与仿真方法

系统仿真学报 ›› 2016, Vol. 28 ›› Issue (2): 283-291.

基于P-DEVS的可执行体系结构建模与仿真方法

胡建鹏^1,2, 黄林鹏²

1.上海工程技术大学电子电气工程学院,上海 201620;
2.上海交通大学计算机科学与工程系,上海 200240

收稿日期:2014-10-14 修回日期:2014-12-14 出版日期:2016-02-08 发布日期:2020-08-17
作者简介:胡建鹏(1980-),男,湖北武汉,博士生,讲师,研究方向为软件工程、系统工程;黄林鹏(1964-),男,教授,博导,研究方向为软件工程、分布式计算。
基金资助:
国家自然科学基金项目(61232007, 91118004)

Modeling and Simulation of Executable Architecture Based on P-DEVS

Hu Jianpeng^1,2, Huang Linpeng²

1. College of Electronic and Electrical Engineering, Shanghai University of Engineering Science, Shanghai 201620, China;
2. Dept. of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai 200240, China

Received:2014-10-14 Revised:2014-12-14 Online:2016-02-08 Published:2020-08-17

摘要/Abstract

摘要： 可执行体系结构建模与仿真验证在复杂大系统和体系的设计与构建中起着至关重要的作用,但目前相关的概念和方法还不是很成熟,缺乏统一的认识和标准,针对不同的可执行需求存在着很多不同的执行机制和执行环境。分析和总结了可执行体系结构建模的三大要素,并且比较了这些要素的可选项,提出了一个基于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 (SoS), 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 SoS based on Parallel Discrete Event System Specification (P-DEVS) was proposed, and a case study of airport SoS shows its feasibility and effectiveness.

Key words: DEVS, executable architecture, system of systems, modeling & simulation;

中图分类号:

TP391

胡建鹏, 黄林鹏. 基于P-DEVS的可执行体系结构建模与仿真方法[J]. 系统仿真学报, 2016, 28(2): 283-291.

Hu Jianpeng, Huang Linpeng. Modeling and Simulation of Executable Architecture Based on P-DEVS[J]. Journal of System Simulation, 2016, 28(2): 283-291.

参考文献 15

[1]	U.S. Department of Defense. Department of Defense Architecture Framework. V2.0” 2009. [EB/OL]. [2014-12-11]. http://dodcio.defense.gov.
[2]	陈岩, 李志淮, 谭贤四, 等. 基于xUML的DoDAF可执行体系结构开发与验证[J]. 系统仿真学报, 2014, 26(1): 152-158.
[3]	何红悦, 王智学, 王庆龙, 等. 基于fUML 的 C4ISR 体系结构可执行建模及分析[J]. 系统工程与电子技术, 2014 (9): 1874-1881.
[4]	张晓雪, 罗爱民, 黄力, 等. 基于DM2的体系结构可执行模型构建方法[J]. 国防科技大学学报, 2013(2): 27-33.
[5]	Wang Renzhong, Cihan H Dagli.Executable system architecting using systems modeling language in conjunction with colored Petri nets in a model-driven systems development process[J]. Systems Engineering,(S1520-6858), 2011, 14(4): 383-409.
[6]	Xuling Chang, Linpeng Huang, Jianpeng Hu, et al.Transformation from Activity Diagrams with Time Properties to Timed Coloured Petri Nets[C]// 2014 IEEE 38th Annual Computer Software and Applications Conference. USA: IEEE, 2014.
[7]	倪枫, 王明哲, 周丰, 等. 可执行体系结构的HCPN建模方法[J]. 系统工程与电子技术, 2010, 32(5): 959-965.
[8]	Risco-Martín José L, et al. eUDEVS: Executable UML with DEVS theory of modeling and simulation[J]. Simulation Transactions of the Society for Modeling & Simulation International (S0037-5497), 2009, 85(11/12): 750-777.
[9]	Mittal Saurabh.Devs unified process for integrated development and testing of service oriented architectures [D]. University of Arizona Tucson, AZ, USA, Dissertations & Theses - Gradworks, 2007.
[10]	Mittal S, S A Douglass. DEVSML 2.0: The Language and the Stack[C]// Symposium on Theory of Modeling and Simulation, Spring Simulation Multiconference, San Diego, CA, USA, Society for Computer Simulation International, 2012.
[11]	葛冰峰, 任长晟, 赵青松, 等. 可执行体系结构建模与分析[J]. 系统工程理论与实践, 2011, 31(11): 2191-2201.
[12]	夏晓凯, 吴际, 徐络, 等. 模型驱动的系统体系结构仿真验证研究[J]. 系统工程与电子技术, 2013, 35(11): 2424-2429.
[13]	Shuman E A.Understanding executable architectures through an examination of language model elements[C]// Proceedings of the 2010 Summer Computer Simulation Conference. San Diego, CA, USA, Society for Computer Simulation International, 2010: 483-497.
[14]	于晓浩, 罗雪山, 陈洪辉, 等. 面向服务军事信息系统的可执行建模仿真方法[J]. 系统仿真学报, 2010, 22(11): 2479-2484.
[15]	Verónica Bogado, Silvio Gonnet, Horacio Leone.Modeling and simulation of software architecture in discrete event system specification for quality evaluation[J]. Simulation Transactions of the Society for Modeling & Simulation International (S0037-5497), 2014, 90: 290-319.