Towards a formalization of the unified modeling language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1241, Issue , 1997, Pages 344-366

  Breu, Ruth ^a   Hinkel, Ursula ^a   Hofmann, Christoph ^a   Klein, Cornel ^a   Paech, Barbara ^a   Rumpe, Bernhard ^a   Thurner, Veronika ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; UNIFIED MODELING LANGUAGE;

FORMAL FOUNDATION; MATHEMATICAL FOUNDATIONS; MATHEMATICAL SYSTEM MODEL; OBJECT ORIENTED ANALYSIS AND DESIGN; OBJECT-ORIENTED SYSTEM;

OBJECT ORIENTED PROGRAMMING;

EID: 84947914692     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053386     Document Type: Conference Paper

References (29)

1. G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin Cummings, 1994.
2. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language for Object-Oriented Development, Version 1.0, 1996.
3. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language for Object-Oriented Development, Version 0.9, 1996.
4. R. Breu and R. Grosu. Modeling the dynamic behaviour of objects - About events, messages and methods, submitted to publication, 1997.
5. M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems -- An Introduction to FOCUS - revised version -. SFB-Bericht 342/2-2/92 A, Technische Universität München, January 1993.
6. M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, and R. Weber. The Design of Distributed Systems - An Introduction to FOCUS. Technical Report SFB 342/2/92 A, Technische Universität Mfinchen, 1993. http://www4.informatik.tumuenchen.de/reports/TUM-I9202.ps.gz.
7. M. Broy, R. Grosu, and C. Klein. Timed State Transition Diagrams. submitted to publication, 1997.
8. M. Broy, C. Hofmann, I. Kriiger, and M. Schmidt. A graphical description technique for communication in software architectures. Technical Report TUM-I9705, Technische Universität Miinchen, 1997.
9. M. Broy and K. Stolen. Specification and Refinement of Finite Dataflow Networks -- a Relational Approach. In Proc. FTRTFT’94, LNCS 863, pages 247-267. Springer-Verlag, Berlin, 1994.
10. S. Cook and J. Daniels. Designing Object Systems. Prentice Hall, 1994.
11. R. Grosu, C. Klein, and B. Rumpe. Enhancing the syslab system model with state. TUM-I 9631, Technische Universität München, 1996. http://www4.informatik.tumuenchen. de/reports/TUM-I9631.html
12. R. Grosu, C. Klein, B. Rumpe, and M. Broy. State transition diagrams. TUMI 9630, Technische Universität Miinchen, 1996. http://www4.informatik.tumuenchen.de/reports/TUM-I9630.html
13. R. Grosu and B. Rumpe. Concurrent timed port automata. TUM-I 9533, Technische Universität Miinchen, 1995. http://www4.informatik.tumuenchen.de/reports/TUM-I9533.html.
14. D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
15. R. Hettler. Description techniques for data in the SYSLAB method. Technical Report TUM-I9632, Technische Universität Miinchen, 1996. http://www4.informatik.tu-muenchen.de/reports/TUM-I9632.html.
16. C. Hofmann, C. Klein, and B. Rumpe. The object oriented system model, internal report, to appear as technical report, Technische Universität München, 1997.
17. I. Jacobson. Ob3ect-Oriented Software Engineering - A Use Case Driven Approach. Addison-Wesley, 1992.
18. C. Klein, B. Rumpe, and M. Broy. A stream-based mathematical model for distributed information processing systems - SysLab system model -. In Elie Naijm and Jean-Bernard Stefani, editors, FMOODS’96 Formal Methods for Open Objectbased Distributed Systems, pages 323-338. ENST France Telecom, 1996.
19. B. Liskov and J.M. Wing. A new definition of the subtype relation. In ECOOP, LNCS 707, pages 118-141. Springer Verlag, 1993.
20. G. Overgaard. The Semantics of the Unified Modeling Language - Tutorial at OOPSLA’96. ACM, San Jose, October 1996.
21. B. Paech. A framework for interaction description with roles, submitted to publication, 1997.
22. B. Paech and B. Rumpe. A new Concept of Refinement used for Behaviour Modelling with Automata. In FME’94, Formal Methods Europe, Symposium ‘94, LNCS 873. Springer-Verlag, Berlin, October 1994.
23. B. Paech and B. Rumpe. The state based description of services, submitted to publication, 1997.
24. J. Rumbaugh. Object-Oriented Modelling and Design. Prentice Hall, 1991.
25. B. Rumpe. Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Herbert Utz Verlag Wissenschaft, 1996. PhD thesis, Technische Universitüt München.
26. B. Rumpe and C. Klein. Automata with output as description of object behavior. In H. Kilov and W. Harvey, editors, Specification of Behavioral Semantics in Object-Oriented Information Modeling, pages 265-286, Norwell, Massachusetts, 1996. Kluwer Academic Publishers. http://www4.informatik.tumuenchen.de/papers/RumpeKlein_SoBS1996.html.
27. B. Rumpe, C. Klein, and M. Broy.: Ein strombasiertes mathematisches Modell verteilter informationsverarbeitender Systeme - Syslab Systemmodell -. Technical Report TUM-I9510, Technische Universit~t Miinchen, Institut flit Informatik, March 1995. http://www4.informatik.tu-muenchen.de/reports/TUM-I9510.ps.gz.
28. B. Schütz, H. Huflmann, and M. Broy. Graphical Development of Consistent System Specifications. In J. Woodcock M.-C. Gaudel, editor, FME’96: Industrial Benefit and Advances In Formal Methods, pages 248-267. Springer, Lecture Notes in Computer Science 1051, 1996.
29. V. Thurner. A description technique for business process modelling, internal report, to appear, 1997.