45 citations · 81 across the 6 of their papers we have counts for
6 papers
Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0)
Manfred Broy, Maria Victoria Cengarle, Hans Grönninger +1
In this document, we introduce a system model as a semantic domain for the Unified Modeling Language (UML) [OMG07a, OMG07b]. The system model is supposed to form a possible core an…
System Model Semantics of Statecharts
Maria Victoria Cengarle, Hans Grönninger, Bernhard Rumpe
In this report, semantics for Statecharts is defined based on a mathematical model of object systems called "system model". The semantics definition is detailed for UML/P Statechar…
System Model Semantics of Class Diagrams
Maria Victoria Cengarle, Hans Grönninger, Bernhard Rumpe
Defining semantics for UML is a difficult task. Disagreements in the meaning of UML constructs as well as the size of UML are major obstacles. In this report, we describe our appro…
System-Model-Based Simulation of UML Models
Maria Victoria Cengarle, Jürgen Dingel, Hans Grönninger +1
Previous work has presented our ongoing e orts to define a "reference semantics" for the UML, that is, a mathematically defined system model that is envisaged to cover all of the U…
Towards a System Model for UML. The Structural Data Model
Manfred Broy, Maria Victoria Cengarle, Bernhard Rumpe
In this document we introduce a system model as the basis for a semantic model for UML 2.0. The system model is supposed to form the core and foundation of the UML semantics defini…
Variability within Modeling Language Definitions
Maria Victoria Cengarle, Hans Grönninger, Bernhard Rumpe
We present a taxonomy of the variability mechanisms offered by modeling languages. The definition of a formal language encompasses a syntax and a semantic domain as well as the map…