Conference -
 Bernhard Rumpe
Towards a Formalization of the Unified Modeling Language

Proceedings of ECOOP'97

Author(s): Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner
Year: 1997
Publisher: Springer Verlag, LNCS
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.

Available as pdf


@inproceedings{ UML-Formalization, author = {Ruth Breu and Ursula Hinkel and Christoph Hofmann and Cornel Klein and Barbara Paech and Bernhard Rumpe and Veronika Thurner}, title = {Towards a Formalization of the Unified Modeling Language}, booktitle = {Proceedings of ECOOP'97}, year = {1997}, publisher = {Springer Verlag, LNCS} }

Bernhard Rumpe