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

Systems Engineering

Volumn 14, Issue 4, 2011, Pages 383-409

  Wang, Renzhong ^a   Dagli, Cihan H ^a  

^a University of Missouri Rolla   (United States)

Author keywords

CPN; MDA; modeling; simulation; SysML; system architecture

Indexed keywords

CPN; MDA; SIMULATION; SYSML; SYSTEM ARCHITECTURES;

ANIMATION; COMPUTER SIMULATION; DATA PROCESSING; DESIGN; DYNAMIC ANALYSIS; PARALLEL PROCESSING SYSTEMS; PETRI NETS; SOFTWARE ARCHITECTURE; SPECIFICATIONS; SYSTEMS ANALYSIS; SYSTEMS ENGINEERING;

MATHEMATICAL MODELS;

EID: 80054769440     PISSN: 10981241     EISSN: 15206858     Source Type: Journal    
DOI: 10.1002/sys.20184     Document Type: Article

References (37)

1. J.P. Almeida, R. Dijkman, M. Van Sinderen, and, L.F. Pires, "Platform-independent modelling in MDA: Supporting abstract platforms," Model Driven Architecture, Lecture Notes in Computer Science 3599, U. Aßmann, M. Aksit, and, A. Rensink, (Editors), Springer, Heidelberg, 2005, pp. 174-188.
2. ArtisanSoftware Tools Inc., Artisan Studio®, San Diego, CA, 2010.
3. J. Banks, J.S. Carson, B.L. Nelson, and, D. Nicol, Discrete-event system simulation, 4th edition, Prentice Hall, Saddle River, NJ, 2004.
4. L. Baresil, and, M. Pezzè, "On formalizing UML with high-level petri nets," Concurrent object-oriented programming and Petri nets: Advances in Petri nets, A. Agha, F. De Cindio, and, G. Rozenberg, (Editors), Springer, New York, 2001, pp. 276-304.
5. M.P. Bienvenu, I. Shin, and, A.H. Levis, C4ISR architectures: III. An object-oriented approach for architecture design, Syst Eng 3(4) (2000), 288-312.
6. C.G. Cassandras, and, S. Lafortune, Introduction to Discrete Event Systems, 2nd edition, Springer, New York, 2007.
7. R. David, and, H. Alla, Petri nets for modeling of dynamic systems: A survey, Automatica 30(2) (1994), 175-202.
8. D. DSouza, Model-Driven Architecture and Integration: Opportunities and Challenges, Version 1.1, ECOOP, 2001,.
9. M.B. Faul, Verifiable modeling techniques using a colored Petri net graphical language, Technol Rev 12 (Spring/Summer 2004), 35-47.
10. Group on Earth Observations, Global Earth Observation System of Systems, 10-Year Implementation Plan Reference Document, ESA Publications, Noordwijk, The Netherlands, 2005.
11. S. Hankin, and the DMAC Steering Committee, Data management and communications plan for research and operational integrated ocean observing systems: I. Interoperable data discovery access, and archive, Ocean, Arlington, VA,. 2005, p. 304.
12. K.M. Hansen, Towards a coloured Petri net profile for the Unified Modeling Language issues, definition, and implementation, Technical Report COT/2-52- V 1, Centre for Object Technology, Aarhus, Denmark, 2001.
13. B. Hrúz, and, M.C. Zhou, Modeling and control of discrete-event dynamic systems: With Petri nets and other tools, Springer, New York, 2007.
14. Z. Hu, and, S.M. Shatz, Mapping UML diagrams to a Petri net notation for system simulation, Sixteenth Int Conf Software Eng Knowledge Eng (SEKE'2004), Banff, Alberta, Canada, 2004, pp. 213-219.
15. K. Jensen, "An introduction to the theoretical aspects of coloured Petri nets," A decade of concurrency, J.W. de Bakker, W.-P. de Roever, and, G. Rozenberg, (Editors), Lecture Notes in Computer Science 803, Springer, Heidelberg, 1994, pp. 230-272.
16. K. Jensen, Coloured Petri nets: Basic concepts, analysis methods and practical use, 2nd edition, Springer, Heidelberg, 1996.
17. K. Jensen, "An introduction to the practical use of coloured Petri nets," Lectures on Petri nets II: Applications, W. Reisig, and, G. Rozenberg, (Editors), Springer, Heidelberg, 1998, pp. 237-292.
18. L.M. Kristensen, J.B. Jørgensen, and, K. Jensen, "Application of coloured Petri Nets in system development," Lectures on concurrency and Petri nets, J. Desel, W. Reisig, and, G. Rozenberg, (Editors), Springer, Heidelberg, 2004, pp. 626-685.
19. C. Lakos, "Composing abstractions of coloured Petri nets," Application and theory of Petri nets 2000, M. Nielsen, and, D. Simpson, (Editors), Springer, Heidelberg, 2000, pp. 323-342.
20. S.J. Mellor, and, M. Balcer, Executable UML: A foundation for model-driven architectures, Addison-Wesley Longman, Reading, MA, 2002.
21. ModelDriven.org, Foundational UML reference implementation, 2010.
22. J. Mukerji, and, J. Miller, MDA guide version 1.0. 1, Object Management Group, Needham, MA, 2003,.
23. OMG (Object Management Group), Semantics of a foundational subset for executable UML models, version 1.0 Beta 3, ptc/2010-03-14, Needham, MA, 2010a.
24. OMG (Object Management Group), OMG Systems Modeling Language (OMG SysML™), Needham, MA, 2010b.
25. OMG (Object Management Group), OMG Unified Modeling LanguageTM (OMG UML), superstructure, version 2.2, formal/2009-02-02, Needham, MA, 2010c.
26. OMG (Object Management Group), Official OMG SysML site, Needham, MA, 2010d.
27. R.G. Pettit IV, and, H. Gomaa, "Validation of dynamic behavior in UML using colored Petri nets," Proceedings of UML '2000 Workshop-Dynamic Behaviour in UML Models: Semantic Questions, G. Reggio, A. Knapp, B. Rumpe, B. Selic, and, R. Wieringa, (Editors), Lecture Notes in Computer Science 1939, Springer, Heidelberg, 2000, pp. 295-302.
28. M. Rao, S. Ramakrishnan, and, C. Dagli, 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, Syst Eng 11(3) (2008), 203-220.
29. Raytheon Corporation, Intelligence and Information System (IIS), IOOS U.S. Integrated Ocean Observing System, Final report, Aurora, CO, 2006.
30. C. Seidner, EFFBDs verification: Model-checking in systems engineering, Ph.D. dissertation, Université de Nantes, France, November 2009.
31. C. Szyperski, Component software: beyond object-oriented programming, Addison-Wesley Professional, Reading, MA, 2002.
32. University of Aarhus, Denmark, Coloured Petri nets at the University of Aarhus, 2010.
33. L.W. Wagenhals, S. Haider, and, A.H. Levis, Synthesizing executable models of object oriented architectures, Syst Eng 6 (2003), 266-300. (Pubitemid 41289507)
34. D. Wampler, The role of aspect-oriented programming in OMG's model-driven architecture, Aspect Programming Inc., 2003, and MD.
35. R. Wang, Executable system architecting using Systems Modeling Language in conjunction with colored Petri nets -a demonstration using the GEOSS Network Centric System, Master's Thesis, Systems Engineering, University of Missouri-Rolla, 2007,.
36. L. Wells, Performance analysis using coloured Petri nets, Proc 10th IEEE Int Symp Model Anal Simul Comput Telecommun Syst (MASCOTS 2002), IEEE Computer Society, Washington, DC, 2002, pp. 217-221.
37. M. Westergaard, BRITNeY Suite, Version 22, 2006.