Technical Report
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
Editor:
CR Classification: D.2,D.2.1,F.3.1
CR General Terms: Design
Keywords: Software Engineering Method, Object-Orientation, Mathematical System Model
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 compressed Postscript
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},
url = {http://www4.informatik.tu-muenchen.de/reports/TUM-I9726.html},
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. },
CRClassification = {D.2,D.2.1,F.3.1},
CRGenTerms = {Design}
}
]]>