Executable system architecting using systems modeling language in conjunction with colored Petri nets in a model-driven systems development process

• Published in: Systems engineering Vol. 14; no. 4; pp. 383 - 409
• Main Authors: Wang, Renzhong, Dagli, Cihan H.
• Format: Journal Article
• Language: English
• Published: Hoboken Wiley Subscription Services, Inc., A Wiley Company 01.12.2011; Wiley
• Subjects: Applied sciences; Architecture; Computer science; control theory; systems; Computer systems performance. Reliability; Construction; CPN; Design engineering; Dynamical systems; Dynamics; Exact sciences and technology; Formalism; Information systems. Data bases; MDA; Memory organisation. Data processing; modeling; simulation; Software; Software engineering; SysML; system architecture; System of systems; Systems engineering; CPN; System architecture; Software development; Distributed database; SysML; simulation; MDA; Modeling; Software architecture; Systems engineering; Parallel processing; Unified modelling language; Discrete event system; Capability index; Integration; Model driven architecture; Test reliability; Conversion; Program verification; Design process; Feasibility; Colored Petri net; Software engineering; Integrity; Formal verification
• ISSN: 1098-1241; 1520-6858
• DOI: 10.1002/sys.20184

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