To cope with the challenge of managing the complexity of automated production systems,
model-based approaches are applied increasingly. However, due to the multitude of …

Abstract Design space exploration (DSE) aims at searching through various models
representing different design candidates to support activities like configuration design of …

Design space exploration (DSE) aims to find optimal design candidates of a domain with
respect to different objectives where design candidates are constrained by complex …

In model-driven development of safety-critical systems (like automotive, avionics or
railways), well-formedness of models is repeatedly validated in order to detect design flaws …

Consistency management, the ability to detect, diagnose and handle inconsistencies, is
crucial during the development process in Model-driven Engineering (MDE). As the …

Models in Model-driven Engineering are primary development artifacts that are heavily
edited in all stages of software development and that can become temporarily inconsistent …

Resolving inconsistencies in software models is a complex task because the number of
repairs grows exponentially. Existing approaches thus emphasize on selected repairs only …

There are many repair alternatives for resolving model inconsistencies, each involving one
or more model changes. Enumerating them all could overwhelm the developer because the …

Streaming model transformations represent a novel class of transformations to manipulate
models whose elements are continuously produced or modified in high volume and with …

Managing and resolving inconsistencies in models is crucial in model-driven engineering
(MDE). In this paper we consider models that are based on the Eclipse Modeling Framework …