45 citations · 168 across the 16 of their papers we have counts for
16 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…
MontiCore: A Framework for the Development of Textual Domain Specific Languages
Hans Grönninger, Holger Krahn, Bernhard Rumpe +2
In this paper we demonstrate a framework for efficient development of textual domain specific languages and supporting tools. We use a redundance-free and compact definition of a r…
View-Centric Modeling of Automotive Logical Architectures
Hans Grönninger, Jochen Hartmann, Holger Krahn +3
Modeling the logical architecture is an often underestimated development step to gain an early insight into the fundamental functional properties of an automotive system. An archit…
Modeling Variants of Automotive Systems using Views
Hans Grönninger, Holger Krahn, Claas Pinkernell +1
This paper presents an approach of modeling variability of automotive system architectures using function nets, views and feature diagrams. A function net models an architecture hi…
Modelling Automotive Function Nets with Views for Features, Variants, and Modes
Hans Grönninger, Jochen Hartmann, Holger Krahn +3
Modelling the logical architecture of an automotive system as one central step in the development process leads to an early understanding of the fundamental functional properties o…
View-Based Modeling of Function Nets
Hans Grönninger, Jochen Hartmann, Holger Krahn +2
This paper presents an approach to model features and function nets of automotive systems comprehensively. In order to bridge the gap between feature requirements and function nets…
Textbased Modeling
Hans Grönninger, Holger Krahn, Bernhard Rumpe +2
As modeling becomes a crucial activity in software development the question may be asked whether currently used graphical representations are the best option to model systems effic…
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…
Model Driven Testing of Time Sensitive Distributed Systems
Borislav Gajanovic, Hans Grönninger, Bernhard Rumpe
In this paper we demonstrate an approach to model structure and behavior of distributed systems, to map those models to a lightweight execution engine by using a functional program…
System Model-Based Definition of Modeling Language Semantics
Hans Grönninger, Jan Oliver Ringert, Bernhard Rumpe
In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecified and inco…
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…
Modeling Language Variability
Hans Grönninger, Bernhard Rumpe
A systematic way of defining variants of a modeling language is useful for adopting the language to domain or project specific needs. Variants can be obtained by adopting the synta…
Modeling Language Variability
Hans Grönninger, Bernhard Rumpe
A systematic way of defining variants of a modeling language is useful for adapting the language to domain or project specific needs. Variants can be obtained by adapting the synta…
Towards a Semantics of Activity Diagrams with Semantic Variation Points
Hans Grönninger, Dirk Reiß, Bernhard Rumpe
UML activity diagrams have become an established notation to model control and data ow on various levels of abstraction, ranging from fine-grained descriptions of algorithms to hig…