Executable System Architecting Using Systems Modeling Language in Conjunction with Colored Petri Nets - a Demonstration Using the GEOSS Network Centric System
Total Page:16
File Type:pdf, Size:1020Kb
Scholars' Mine Masters Theses Student Theses and Dissertations Summer 2007 Executable system architecting using systems modeling language in conjunction with Colored Petri Nets - a demonstration using the GEOSS network centric system Renzhong Wang Follow this and additional works at: https://scholarsmine.mst.edu/masters_theses Part of the Systems Engineering Commons Department: Recommended Citation Wang, Renzhong, "Executable system architecting using systems modeling language in conjunction with Colored Petri Nets - a demonstration using the GEOSS network centric system" (2007). Masters Theses. 4574. https://scholarsmine.mst.edu/masters_theses/4574 This thesis is brought to you by Scholars' Mine, a service of the Missouri S&T Library and Learning Resources. This work is protected by U. S. Copyright Law. Unauthorized use including reproduction for redistribution requires the permission of the copyright holder. For more information, please contact [email protected]. EXECUTABLE SYSTEM ARCHITECTING USING SYSTEMS MODELING LANGUAGE IN CONJUNCTION WITH COLORED PETRI NETS – A DEMONSTRATION USING THE GEOSS NETWORK CENTRIC SYSTEM by RENZHONG WANG A THESIS Presented to the Faculty of the Graduate School of the UNIVERSITY OF MISSOURI-ROLLA In Partial Fulfillment of the Requirements for the Degree MASTER OF SCIENCE IN SYSTEMS ENGINEERING 2007 Approved by _______________________________ _______________________________ Cihan H. Dagli, Advisor David Enke _______________________________ Scott E. Grasman © 2007 Renzhong Wang All Rights Reserved iii ABSTRACT Models and simulation furnish abstractions to manage complexities allowing engineers to visualize the proposed system and to analyze and validate system behavior before constructing it. Unified Modeling Language (UML) and its systems engineering extension, Systems Modeling Language (SysML), provide a rich set of diagrams for systems specification. However, the lack of executable semantics of such notations limits the capability of analyzing and verifying defined specifications. This research has developed an executable system architecting framework based on SysML-CPN transformation, which introduces dynamic model analysis into SysML modeling by mapping SysML notations to Colored Petri Net (CPN), a graphical language for system design, specification, simulation, and verification. A graphic user interface was also integrated into the CPN model to enhance the model-based simulation. A set of methodologies has been developed to achieve this framework. The aim is to investigate system wide properties of the proposed system, which in turn provides a basis for system reconfiguration. This framework can be applied to general system development. For demonstration purpose, the Global Earth Observation System of Systems (GEOSS) was selected as an example and was modeled as a distributed information system that involves multi-task concurrent processing driven by discrete events. The simulation results helped to refine the architecture design, and finally verified and validated the behavior and functionality of the system being modeled. The Model Driven Architecture (MDA) approach from software engineering has also been investigated and applied in the systems engineering context to create a SysML-based modeling process, which keeps all the SysML diagrams related to each other and provides a cue for what diagrams to build and how to build them. iv ACKNOWLEDGMENTS I would like to thank one and all who made this study possible. First, I would like to express my deepest sense of gratitude to my advisor, Dr. Cihan H. Dagli, for his continuous guidance, encouragement, support, and patience in this research and my entire studies at the University of Missouri-Rolla. I would also like to extended appreciations to my advisory committee members, Dr. David Enke, and Dr. Scott Grasman, for their time and contributions. I am deeply indebted to my parents, Enming Wang and Xiuyun Hong, who were continuously backing me in whatever I wanted to pursue. I am grateful to my sister Yang Wang who has always been supporting me. I would also like to thank all my relatives, friends, and past colleagues, who have encouraged me, helped me, supported me and cared about me. Without your help and encouragement, I couldn’t have been here to study. It has been a great pleasure to work with my colleagues in the Smart Engineering Systems Lab who have always encouraged me and helped me. Finally, I would like to thank the Engineering Management and Systems Engineering Department for providing me funds during my study at UMR. v TABLE OF CONTENTS Page ABSTRACT.......................................................................................................................iii ACKNOWLEDGMENTS ................................................................................................. iv LIST OF ILLUSTRATIONS...........................................................................................viii LIST OF TABLES.............................................................................................................. x SECTION 1. INTRODUCTION...................................................................................................... 1 1.1. MOTIVATION................................................................................................... 3 1.2. PROBLEM DEFINITION.................................................................................. 5 1.3. RESEARCH OBJECTIVE ................................................................................. 5 1.4. SECTION ORGANIZATION ............................................................................ 6 2. LITERATURE REVIEW........................................................................................... 7 2.1. GEOSS.............................................................................................................. 10 2.2. DEPARTMENT OF DEFENSE ARCHITECTURE FRAMEWORK............. 10 2.3. SYSTEMS MODELING LANGUAGE (SysML)............................................ 11 2.4. COLORED PETRI-NETS ................................................................................ 11 2.5. ARTISAN STUDIO.......................................................................................... 12 2.6. BRITNEY SUITE............................................................................................. 14 3. MODELING METHODOLOGY............................................................................. 15 3.1. AN EXECUTABLE SYSTEM ARCHITECTING PARADIGM.................... 15 3.2. OBJECT ORIENTED ANALYSIS .................................................................. 18 3.3. MODEL DRIVEN ARCHITECTING APPROACH ....................................... 18 3.3.1. The Core MDA Technique is Model Transformation............................ 19 3.3.2. The Model-Based Specification is More Precise and Rich in Semantics than the Object Oriented Paradigm ...................................... 20 3.3.3. MDA Designs Portability, Interoperability and Reusability into the System at the Model Level .................................................................... 20 3.3.4. MDA Approach is Ideal for Building and Maintaining the GEOSS Architecture ........................................................................................... 21 3.3.5. A MDA Process for Developing System Model.................................... 21 vi 3.3.5.1 Preamble to the process ..............................................................21 3.3.5.2 An overview of the modeling process ........................................23 3.4. SYNTHESIS OF THE EXECUTABLE MODEL............................................ 27 3.4.1. Select a Proper Simulation Tool............................................................. 27 3.4.2. Conversion Rules Based on Static Views .............................................. 30 3.4.3. Case Based Syntheses ............................................................................ 31 3.4.4. Consistence Issues in SysML Models.................................................... 32 3.4.5. The Procedure for Synthesizing CPN Models from SysML Models and the Mapping Rules........................................................................... 34 3.4.6. Instantiation and Concurrent Processing................................................ 35 3.4.7. Results of the Object Oriented Approach and the Model Driven Approach................................................................................................ 37 3.5. SIMULATION.................................................................................................. 38 3.5.1. Interactive Control.................................................................................. 39 3.5.2. Message Sequence Charts (MSCs)......................................................... 39 3.5.3. State Space Graphs ................................................................................ 39 3.6. ARCHITECTURE EVALUATION AND ANALYSIS................................... 39 3.6.1. Behavior and Functionality Verification................................................ 40 3.6.2. Specification Completeness Checking ................................................... 40 4. MODEL DEVELOPMENT ..................................................................................... 42 4.1. MISSION DEFINITION .................................................................................. 42 4.2. REQUIREMENTS CAPTURE ........................................................................ 43 4.3. OPERATIONAL