Towards a Formalization of the Unified Modeling Language
Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara, Paech, Bernhard Rumpe, V. Thurner
TL;DR
This paper proposes a formal mathematical foundation for UML to address ambiguities in its syntax and semantics, aiming to improve its precision in object-oriented system modeling.
Contribution
It introduces a formal system model to rigorously define UML's syntax and semantics, enhancing its clarity and reliability.
Findings
A formal system model for UML is proposed.
The model clarifies UML's syntax and semantics.
Improves UML's precision for system analysis and design.
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
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHermeneutics and Narrative Identity · Aging, Elder Care, and Social Issues · Health, Medicine and Society