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
BibTeX-Entry:
<![CDATA[
@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