Open Access. Powered by Scholars. Published by Universities.®
Operations Research, Systems Engineering and Industrial Engineering
Missouri University of Science and Technology
Computer architecture<br />Netcentric computing<br />Petri nets<br />Systems engineering
Articles 1 - 1 of 1
Full-Text Articles in Engineering
Executable System Architecting Using Systems Modeling Language In Conjunction With Colored Petri Nets - A Demonstration Using The Geoss Network Centric System, Renzhong Wang
Masters Theses
"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 …