Synthesizing executable models of object oriented architectures

Authors:
Lee W. Wagenhals;Sajjad Haider;Alexander H. Levis
Affiliations:
Systems Architecture Laboratory, C3I Center, Mail Stop 4B5, George Mason University, Fairfax, VA;Systems Architecture Laboratory, C3I Center, Mail Stop 4B5, George Mason University, Fairfax, VA;Systems Architecture Laboratory, C3I Center, Mail Stop 4B5, George Mason University, Fairfax, VA
Venue:
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Year:
2002

Citing 1
Cited 3

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1

Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model

Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
Understanding executable architectures through an examination of language model elements

Proceedings of the 2010 Summer Computer Simulation Conference
Fairness Verification of BOM-Based Composed Models Using Petri Nets

PADS '11 Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

The United States Department of Defense (DoD) has mandated the development of Command, Control, Communications Computers, Intelligence, Surveillance, and Reconnaissance (C4ISR) 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 the object oriented Unified Modeling Language (UML) that includes three phases: analysis, synthesis, and evaluation. It then provides a rationale for style constraints on the use of UML artifacts for representing DoD C4ISR architectures. Finally the paper describes both 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.