Towards a Formalization of the Unified Modeling Language
This work aims to standardize UML for object-oriented analysis and design, but it is incremental as it builds on existing concepts without introducing a new paradigm.
The paper addresses the lack of a formal mathematical foundation in the Unified Modeling Language (UML), which leads to imprecise definitions of its syntax and semantics, and proposes a formalization based on a mathematical system model.
The Unified Modeling Language UML is a language for specifying visualizing and documenting object oriented systems UML combines the concepts of OOA OODOMT 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