Synthesizing executable models of object oriented architectures

作者：Lee W. Wagenhals, Sajjad Ali Haider, Alexander H. Levis · 发表于：Systems Engineering · 年份：2003 · DOI：10.1002/sys.10049 · 被引用次数：58 · 研究领域：Advanced Software Engineering Methodologies、Petri Nets in System Modeling、Distributed systems and fault tolerance

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