Skip to main content
SpringerLink
Log in

Towards a formalization of the Unified Modeling Language

  • Conference paper
  • First Online:
ECOOP'97 — Object-Oriented Programming (ECOOP 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1241))

Included in the following conference series:

Abstract

The Unified Modeling Language UML is a language for specifying, visualizing and documenting object-oriented systems. UML combines the concepts of OOA/OOD, OMT and OOSE and is intended as a standard in the domain of object-oriented analysis and design. Due to the missing formal, mathematical foundation of UML the syntax and the semantics of a number of UML constructs are not precisely defined. This paper outlines a proposal for the formal foundation of UML that is based on a mathematical system model.

This paper partly originates from a cooperation of the DFG project Bellevue and the SysLab project, which is supported by the DFG under the Leibniz program, by Siemens-Nixdorf and Siemens Corporate Research.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin Cummings, 1994.

    Google Scholar 

  2. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language for Object-Oriented Development, Version 1.0, 1996.

    Google Scholar 

  3. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language for Object-Oriented Development, Version 0.9, 1996.

    Google Scholar 

  4. R. Breu and R. Grosu. Modeling the dynamic behaviour of objects — about events, messages and methods, submitted to publication, 1997.

    Google Scholar 

  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.

    Google Scholar 

  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 München, 1993. http://www4.informatik.tu-muenchen.de/reports/TUM-I9202.ps.gz.

    Google Scholar 

  7. M. Broy, R. Grosu, and C. Klein. Timed State Transition Diagrams, submitted to publication, 1997.

    Google Scholar 

  8. M. Broy, C. Hofmann, I. Krüger, and M. Schmidt. A graphical description technique for communication in software architectures. Technical Report TUM-I9705, Technische Universität München, 1997.

    Google Scholar 

  9. M. Broy and K. StØlen. Specification and Refinement of Finite Dataflow Networks — a Relational Approach. In Proc. FTRTFT'94, LNCS 863, pages 247–267. Springer-Verlag, Berlin, 1994.

    Google Scholar 

  10. S. Cook and J. Daniels. Designing Object Systems. Prentice Hall, 1994.

    Google Scholar 

  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.tu-muenchen.de/reports/TUM-I9631.html.

    Google Scholar 

  12. R. Grosu, C. Klein, B. Rumpe, and M. Broy. State transition diagrams. TUM-I 9630, Technische Universität München, 1996. http://www4.informatik.tu-muenchen.de/reports/TUM-I9630.html.

    Google Scholar 

  13. R. Grosu and B. Rumpe. Concurrent timed port automata. TUM-I 9533, Technische Universität München, 1995. http://www4.informatik.tu-muenchen.de/reports/TUM-I9533.html.

    Google Scholar 

  14. D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  15. R. Hettler. Description techniques for data in the SYSLAB method. Technical Report TUM-I9632, Technische Universität München, 1996. http://www4.informatik.tu-muenchen.de/reports/TUM-I9632.html.

    Google Scholar 

  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.

    Google Scholar 

  17. I. Jacobson. Object-Oriented Software Engineering — A Use Case Driven Approach. Addison-Wesley, 1992.

    Google Scholar 

  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 Object-based Distributed Systems, pages 323–338. ENST France Telecom, 1996.

    Google Scholar 

  19. B. Liskov and J.M. Wing. A new definition of the subtype relation. In EC00P,LNCS 707, pages 118–141. Springer Verlag, 1993.

    Google Scholar 

  20. G. övergaard. The Semantics of the Unified Modeling Language — Tutorial at OOPSLA '96. ACM, San Jose, October 1996.

    Google Scholar 

  21. B. Paech. A framework for interaction description with roles, submitted to publication, 1997.

    Google Scholar 

  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.

    Google Scholar 

  23. B. Paech and B. Rumpe. The state based description of services, submitted to publication, 1997.

    Google Scholar 

  24. J. Rumbaugh. Object-Oriented Modelling and Design. Prentice Hall, 1991.

    Google Scholar 

  25. B. Rumpe. Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Herbert Utz Verlag Wissenschaft, 1996. PhD thesis, Technische Universität München.

    Google Scholar 

  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.tu-muenchen.de/papers/RumpeKlein_SoBS1996.html.

    Google Scholar 

  27. B. Rumpe, C. Klein, and M. Broy. Ein strombasiertes mathematisches Modell verteilter informationsverarbeitender Systeme — Syslab Systemmodell-. Technical Report TUM-I9510, Technische Universität München, Institut für Informatik, March 1995. http://www4.informatik.tu-muenchen.de/reports/TUM-I9510.ps.gz.

    Google Scholar 

  28. B. Schätz, H. Hußmann, 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.

    Google Scholar 

  29. V. Thurner. A description technique for business process modelling, internal report, to appear, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, D-80290, München

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

Authors
  1. Ruth Breu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ursula Hinkel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Christoph Hofmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Cornel Klein
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Barbara Paech
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Bernhard Rumpe
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Veronika Thurner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Mehmet Akşit Satoshi Matsuoka

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Breu, R. et al. (1997). Towards a formalization of the Unified Modeling Language. In: Akşit, M., Matsuoka, S. (eds) ECOOP'97 — Object-Oriented Programming. ECOOP 1997. Lecture Notes in Computer Science, vol 1241. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053386

Download citation

  • DOI: https://doi.org/10.1007/BFb0053386

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63089-0

  • Online ISBN: 978-3-540-69127-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation