System model semantics of class diagrams (original) (raw)

AI-generated Abstract

The paper discusses the formal semantics of UML (Unified Modeling Language) class diagrams, addressing the lack of a precise-based semantic framework for interpretation. By employing a denotational approach, it aims to clarify system models derived from UML, detailing concrete syntax through MontiCore grammar, establishing context conditions, and mapping semantics effectively. The report outlines several chapters including the definition of UML semantics, translation to mathematical syntax, and an evaluation typical of the model's application in software development.