Abstract
This work proposes an executable system architecting paradigm for discrete-event system modeling and analysis through integration of a set of modeling tools, executable formalisms, analytical tools, and animation tools. the essential step is converting SysML-Based specifications into colored Petri nets through a conversion scheme proposed here. Such a paradigm permits rigorous static and dynamic system analysis, as well as formal verification of the behavior and functionality of the SysML-Based design. This paper also compares the capabilities of the proposed executable system architecting paradigm with other executable formalisms. Further, it discusses the basic principles of executable architecture specification and analysis for discrete-event system modeling. the model-driven architecture approach developed from the software engineering field is also studied here and applied in a systems engineering context to create a SysML-Based modeling process that maintains a close relationship among all the SysML diagrams and indicates which diagrams to build and how to build them. This executable architecting paradigm is then integrated into the model-driven systems development process to create a structured architecture design process. This methodology is aimed at general system design. its feasibility is demonstrated using the example of the Global Earth Observation System of Systems, which is modeled as a distributed, parallel information processing system. the simulation results are used to check the overall integrity and internal consistency of the architecture models, to refine the architecture design, and finally, to verify the behavior and functionality of the system modeled. © 2011 Wiley Periodicals, Inc.
Recommended Citation
R. Wang and C. H. Dagli, "Executable System Architecting using Systems Modeling Language in Conjunction with Colored Petri Nets in a Model-driven Systems Development Process," Systems Engineering, vol. 14, no. 4, pp. 383 - 409, Wiley, Dec 2011.
The definitive version is available at https://doi.org/10.1002/sys.20184
Department(s)
Engineering Management and Systems Engineering
Publication Status
Full Access
Keywords and Phrases
CPN; MDA; modeling; simulation; SysML; system architecture
International Standard Serial Number (ISSN)
1520-6858; 1098-1241
Document Type
Article - Journal
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 2024 Wiley, All rights reserved.
Publication Date
01 Dec 2011
