Synthesizing executable models of object oriented architectures
Lee W. Wagenhals, Sajjad Ali Haider, Alexander H. Levis · Systems Engineering · 2003
Abstract The U.S. Department of Defense (DoD) has mandated the development of architectures to support the acquisition of systems that are interoperable and will meet the needs of military coalitions. This paper provides a general description of an architecting process based on object orientation and UML. It then provides a rationale for style constraints on the use of UML artifacts for representing DoD Command, Control, Communications, Computers, Intelligence, Surveillance, and Reconnaissance (C4ISR) architectures. Finally the paper describes a mapping between the UML artifacts and an executable model based on colored Petri nets that can be used for logical, behavioral, and performance evaluation of the architecture. A procedure for the conversion is also provided. © 2003 Wiley Periodicals, Inc. Syst Eng 6: 266–300, 2003