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

arXiv comment23 pages, 5 figures

Cited by in corpus (7)

• Towards an Ontology for Scenario Definition for the Assessment of Automated Vehicles: An Object-Oriented Framework
• Developing the UML as a Formal Modelling Notation
• The UML as a Formal Modeling Notation
• New Opportunities for Integrated Formal Methods
• Defining UML Family Members Using Prefaces
• Formalizing UML State Machines for Automated Verification -- A Survey
• Software and System Modeling Based on a Unified Formal Semantics