Towards a Formalization of the Unified Modelling Language

Title:: Towards a Formalization of the Unified Modelling Language
Document type:: Technical Report
Author(s):: Ruth Breu; Ursula Hinkel; Christoph Hofmann; Cornel Klein; Barbara Paech; Bernhard Rumpe; Veronika Thurner
Abstract:: The Unified Modelling Language is a language for specifying, visualizing and documenting object-oriented systems. Due to the missing formal foundation the syntax and the semantics of a 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.
Keywords:: Software Engineering Method; Object-Orientation; Mathematical System Model
Year:: 1997
Year / month:: 1997-06-01 00:00:00
Pages:: 30
BibTeX

Occurrences: