Technical Report -
 Bernhard Rumpe
Towards a Formalization of the Unified Modeling Language

Author(s): Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner
Year: 1997
Number: TUM-I9726
Abstract:The Unified Modelling Language is a language for specifying, visualizing and documenting object-oriented systems. Due to the missing formal foundation the syntax adn the number of UML constructs are not precisely defined. This report outlines a proposal for the formal foundation of UML that is based on a mathematical system model. It also compares UML with the method SLM developed in the SysLab project.

Available as pdf

@techreport{ TUM-I9726, 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}, number = {TUM-I9726}, institution = {Technische Univerit\"at M\"unchen}, year = {1997} }

Bernhard Rumpe