Online Version - Last Updated - 20 Jan 2012 |
 |
| Home |
| |
| Procedures and Resources for Authors |
|
| Information and Resources for Volume Editors |
| |
| Orders and Subscriptions |
| |
| Published Articles |
|
| Upcoming Volumes |
| |
| Contact Us |
| |
| Useful External Links |
| |
| CRPIT Site Search |
Synthesizing Executable Models of Object Oriented Architectures
Wagenhals, L.W., Haider, S. and Levis, A.H.
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.
Cite as: Wagenhals, L.W., Haider, S. and Levis, A.H. (2002). Synthesizing Executable Models of Object Oriented Architectures. In Proc. Workshop on Formal Methods Applied to Defence Systems 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L. M. and Billington, J., Eds. ACS. 85-93.
(from crpit.com)
(local if available)
