90
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. The Object Constraint Language (OCL) is a central component in modeling and transformation languages such as the Unified Modeling Language (UML), the Meta Object Facilit...
111
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
—This paper summarizes our research findings on optimizing the symbolic execution of evolving state machines using incremental analysis. I. PROBLEM AND MOTIVATION Model Driven E...
94
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
—Software modeling is generally a collaborative activity and typically involves graphical diagrams. The Unified Modeling Language (UML) is the de facto standard for modeling obj...
75
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
— Models in software engineering bring significant potential in improvements of productivity of engineers, and improved quality of the artifacts they produce. Despite this signif...
89
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
Abstract—In Model-Driven Engineering, the potential advantages of using bidirectional transformations are largely recognized. Despite its crucial function, in certain cases bidir...
83
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
In this paper we propose an iterative process for the correct speci cation of model transformations, i.e., for developing correct transformation models. This permits checking the ...
87
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
Advanced driver assistance systems and (semi-)autonomous mobility systems will arguably be the biggest disruption of our everyday life in the next couple of years. The development ...
80
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
—Component-based and model-driven engineering are key paradigms for handling the ever-increasing complexity of technical systems. Surprisingly few component models consider extra...
80
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
—This contribution proposes a new technique for developing test cases for UML and OCL models. The technique is based on an approach that automatically constructs object models fo...
91
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
—Model-Integrating Software Components (MoCos) use models at runtime as first class entities within components to build flexible and adaptive software systems. Building such sy...