Towards a Formalization of the Unified Modeling Language
Abstract
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
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2014
- DOI:
- 10.48550/arXiv.1409.7234
- arXiv:
- arXiv:1409.7234
- Bibcode:
- 2014arXiv1409.7234B
- Keywords:
-
- Computer Science - Software Engineering
- E-Print:
- 23 pages, 5 figures