Definition of the System Model

UML 2 Semantics and Applications

Volumn , Issue , 2009, Pages 61-93

  Broy, Manfred ^a   Cengarle, María Victoria ^a   Grönniger, Hans ^b   Rumpe, Bernhard ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

Messages and events in system model; System model control part and storing control information; System model definition tailored toward UML

Indexed keywords

EID: 78349273869     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1002/9780470522622.ch4     Document Type: Chapter

References (9)

1. M. Broy, M. V. Cengarle, H. Grönniger, and B. Rumpe. Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0). Technical Report 2008-06. Carl-Friedrich-Gauß-Fakultät, Technische Universität Braunschweig, Braunschweig, Germany, 2008.
2. M. Broy, F. Dederich, C. Dendorfer, M. Fuchs, T. Gritzner, and R. Weber. The Design of Distributed Systems: An Introduction to FOCUS. Technical Report, TUM-I9202, SFBBericht 342/2-2/92 A, 1993.
3. M. Fontoura, W. Pree, and B. Rumpe. The UML/F Profile for Framework Architecture. Addison-Wesley, Reading, MA, 2001.
4. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA, 1995.
5. R. H. Katz. Contemporary Logic Design. Benjamin-Cummings, Redwood City, CA, 1993.
6. N. A. Lynch and M. R. Tuttle. An introduction to input/output automata. CWI Quarterly, 2:219-246, 1989.
7. B. Meyer. Object-Oriented Software Construction, 2nd ed. Prentice Hall, Upper Saddle River, NJ, 1997.
8. OMG. Unified modeling language: superstructure version 2.1.2. http://www.omg.org/docs/formal/07-11-02.pdf.
9. B. Rumpe. Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Herbert Utz Verlag Wissenschaft, 1996. Ph.D. dissertation, Technische Universität München, Munich, Germany.