As Model-Driven Engineering (MDE) is increasingly applied to larger and more complex
systems, the current generation of modelling and model management technologies are …

Abstract The Object Constraint Language (OCL) can be used to capture structural
constraints in the context of the abstract syntax of modelling languages (metamodels) …

Integrity constraints play a key role in the specification and development of software systems
since they state conditions that must always be satisfied by the system at runtime. Therefore …

Up to now, the execution of ATL transformations has always followed a two-step algorithm:
1) matching all rules, 2) applying all matched rules. This algorithm does not support …

Error checking is easy and inexpensive in the initial stages as compared to later stages due
to when the development cycle precedes the development cost and efforts also increase …

Due to the increasing use of models, and the inevitable model inconsistencies that arise
during model-based software development and evolution, model inconsistency detection is …

Abstract Model-driven applications may maintain large networks of structured data models
and transformations among them. The development of such applications is complicated by …

Steadily evolving models are the heart and soul of Model-Driven Engineering.
Consequently, all dependent model transformations have to be re-executed to reflect …

Constraints play a key role in the definition of conceptual schemas. In the UML, constraints
are usually specified by means of invariants written in the OCL. However, due to the high …

When a software engineer finds an inconsistency in a model, then the first question is why?
What caused it? Obviously, there must be an error. But where could it be? Or is the design …