IDEAS home Printed from https://ideas.repec.org/a/wly/syseng/v14y2011i4p383-409.html
   My bibliography  Save this article

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

Author

Listed:
  • Renzhong Wang
  • Cihan H. Dagli

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

Suggested Citation

  • Renzhong Wang & Cihan H. Dagli, 2011. "Executable system architecting using systems modeling language in conjunction with colored Petri nets in a model‐driven systems development process," Systems Engineering, John Wiley & Sons, vol. 14(4), pages 383-409, December.
    • Handle: RePEc:wly:syseng:v:14:y:2011:i:4:p:383-409
    DOI: 10.1002/sys.20184
    as

    Download full text from publisher

    File URL: https://doi.org/10.1002/sys.20184
    Download Restriction: no
    File URL: https://libkey.io/10.1002/sys.20184?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    References listed on IDEAS

    as
    1. Lee W. Wagenhals & Sajjad Haider & Alexander H. Levis, 2003. "Synthesizing executable models of object oriented architectures," Systems Engineering, John Wiley & Sons, vol. 6(4), pages 266-300.
    2. Madwaraj Rao & Sreeram Ramakrishnan & Cihan Dagli, 2008. "Modeling and simulation of net centric system of systems using systems modeling language and colored Petri‐nets: A demonstration using the global earth observation system of systems," Systems Engineering, John Wiley & Sons, vol. 11(3), pages 203-220, September.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Bingfeng Ge & Keith W. Hipel & Kewei Yang & Yingwu Chen, 2013. "A data‐centric capability‐focused approach for system‐of‐systems architecture modeling and analysis," Systems Engineering, John Wiley & Sons, vol. 16(3), pages 363-377, September.
    2. Thomas Ford & David Meyer & John Colombi & Brian Scheller & Cody Palmer, 2018. "A method of assessing the time-variant value of multi-domain architectures," The Journal of Defense Modeling and Simulation, , vol. 15(4), pages 471-481, October.
    3. Daniel Selva & Bruce Cameron & Ed Crawley, 2016. "Patterns in System Architecture Decisions," Systems Engineering, John Wiley & Sons, vol. 19(6), pages 477-497, November.

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Shiva Abdoli & Sami Kara, 2017. "A Modelling Framework to Design Executable Logical Architecture of Engineering Systems," Modern Applied Science, Canadian Center of Science and Education, vol. 11(9), pages 1-75, September.
    2. Lee W. Wagenhals & Alexander H. Levis, 2009. "Service Oriented Architectures, the DoD Architecture Framework 1.5, and Executable Architectures," Systems Engineering, John Wiley & Sons, vol. 12(4), pages 312-343, December.
    3. M. Monperrus & B. Long & J. Champeau & B. Hoeltzener & G. Marchalot & J.M. Jézéquel, 2010. "Model‐driven architecture of a maritime surveillance system simulator," Systems Engineering, John Wiley & Sons, vol. 13(3), pages 290-297, September.
    4. Atiogbe Didier Koffi, 2005. "A model for the evolution of software and systems engineering project cultures throughout their life cycles," Systems Engineering, John Wiley & Sons, vol. 8(2), pages 151-163.
    5. Madwaraj Rao & Sreeram Ramakrishnan & Cihan Dagli, 2008. "Modeling and simulation of net centric system of systems using systems modeling language and colored Petri‐nets: A demonstration using the global earth observation system of systems," Systems Engineering, John Wiley & Sons, vol. 11(3), pages 203-220, September.
    6. Ashraf M. Abusharekh & Lawrence E. Gloss & Alexander H. Levis, 2011. "Evaluation of Service Oriented Architecture‐based federated architectures," Systems Engineering, John Wiley & Sons, vol. 14(1), pages 56-72, March.
    7. Thomas Ford & David Meyer & John Colombi & Brian Scheller & Cody Palmer, 2018. "A method of assessing the time-variant value of multi-domain architectures," The Journal of Defense Modeling and Simulation, , vol. 15(4), pages 471-481, October.
    8. Tsan‐Sheng Ng & Shao‐Wei Lam, 2011. "Dynamic maritime systems inquiry: The DIVER approach," Systems Engineering, John Wiley & Sons, vol. 14(3), pages 239-254, September.

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:wly:syseng:v:14:y:2011:i:4:p:383-409. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Wiley Content Delivery (email available below). General contact details of provider: https://doi.org/10.1002/(ISSN)1520-6858 .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.