Models in Model-Driven Engineering are heavily edited in all stages of software
development and can become temporarily inconsistent. In general, there are many …

Artificial intelligence has already proven to be a powerful tool to automate and improve how
we deal with software development processes. The application of artificial intelligence to …

During the development of large software-intensive systems, developers use several
modeling languages and tools to describe a system from different viewpoints. Model-driven …

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 …

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 …

Abstract QVT Relations (QVT-R) is the standard language proposed by the OMG to specify
bidirectional model transformations. Unfortunately, in part due to ambiguities and omissions …

In model-driven software engineering, models are used in all phases of the development
process. These models must hold a high quality since the implementation of the systems …

During modeling activities, inconsistencies can easily occur due to misunderstandings, lack
of information or simply mistakes. In this paper, we focus on model inconsistencies that …

When software models change, developers often fail in keeping them consistent. Automated
support in repairing inconsistencies is widely addressed. Yet, merely enumerating repairs …