Synthesizing executable models of object oriented architectures

Systems Engineering

Volumn 6, Issue 4, 2003, Pages 266-300

  Wagenhals, Lee W ^a,b   Haider, Sajjad ^a   Levis, Alexander H ^a,c  

^a GEORGE MASON UNIVERSITY   (United States)

^b School of Information Technology and Engineering   (Canada)

^c USAF   (United States)

Author keywords

C4ISR architectures; Colored petri nets; Object orientation; UML

Indexed keywords

C4ISR ARCHITECTURES; COLORED PETRI NETS; OBJECT ORIENTATION; UML;

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; CONFORMAL MAPPING; CONSTRAINT THEORY; MATHEMATICAL MODELS; MILITARY OPERATIONS; PETRI NETS; SYSTEMS ENGINEERING;

OBJECT ORIENTED PROGRAMMING;

EID: 2942618818     PISSN: 10981241     EISSN: 15206858     Source Type: Journal    
DOI: 10.1002/sys.10049     Document Type: Article

References (16)

1. M. Bienvenu, I. Shin, and A.H. Levis, C4ISR architectures III: An object-oriented approach for architecture design, Syst Eng 3(4) (2000), 288-312.
2. G. Booch, J. Rumbaugh, and I. Jacobson, The unified modeling language user guide, Addison-Wesley, Reading, MA, 1999.
3. P.H. Cothier and A.H. Levis, Timeliness and measures of effectiveness in command and control, IEEE Trans Syst Man Cybernet SMC-16(6) (1986), 844-853.
4. Design/CPN Online, http://wwW.daimi.au.dk/designCPN/.
5. DoD, C4ISR Architecture Framework Version 2.0, C4ISR Architecture Working Group, Department of Defense, Washington, DC, December 18, 1997.
6. I. Jacobson, G. Booch, and J. Rumbaugh, The unified software development process, Addison-Wesley, Reading, MA, 1999.
7. K. Jensen, Coloured Petri nets. Basic concepts, analysis methods and practical use. Volume 1. Basic concepts, Monographs in Theoretical Computer Science, Springer-Verlag, Berlin, 1992.
8. L.M. Kristensen, S. Christensen, and K. Jensen, The practitioner's guide to coloured Petri nets, Int J Software Tools Technol Transfer 2(2) (1998), 98-132.
9. A.H. Levis, Measuring the effectiveness of C4I architectures, Proc Int Symp Defense Information Systems, KIDIS, Seoul, Korea, June 1997.
10. A.H. Levis and L. Wagenhals, C4ISR architectures I: Developing a process for C4ISR architecture design, Syst Eng 3(4) (2000), 225-247.
11. A.H. Levis and L. Wagenhals, C4ISR architecture framework implementation, Course Notes for AFCEA Course 503, AFCEA, Fairfax, VA, 2002a, http://viking.gmu.edu/http/503_v/index.html.
12. A.H. Levis and L. Wagenhals, Advances in C4ISR architectures, Course Notes for AFCEA Course 504, AFCEA, Fairfax, VA 2002b, http://viking.gmu.edu/504g/index. html.
13. Object Modeling Group, Inc. (OMG), Unified modeling language specification, version 1.3, June 1999, Needham, MA.
14. N. Sproles, The difficult problem of establishing measures of effectiveness for command and control: A systems engineering perspective, Syst Eng 4(2) (2001), 145-155.
15. F.R.H. Valraud and A.H. Levis, "On the quantitative evaluation of functionality in C3 systems," Information technology for command and control, S.J. Andriole and S.M. Halpin (Editors), IEEE Press, New York, 1991, pp. 558-563.
16. L. Wagenhals, I. Shin, D. Kim, and A.H. Levis, C4ISR architectures II: Structured analysis approach for architecture design, Syst Eng 3(4) (2000), 248-287.