Modeling and Simulation of Executable Architecture Based on P-DEVS

Abstract

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;

CLC Number:

TP391

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

References 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.