Abstract:

Model-Driven Constraint Engineering

Michael Wahler and Jana Koehler and Achim D. Brucker


A high level of detail and well-formedness of models have become crucial ingredients in model-driven 
development. Constraints play a central role in model precision and validity. However, the task of constraint 
development is time-consuming and error-prone because constraints can be arbitrarily complex in real-world 
models.To overcome this problem, we propose a solution that we call model-driven constraint engineering. In our 
solution, we define constraint patterns, add structure and develop a taxonomy for them. The constraint patterns 
integrate into the UML meta-model. These computation-independent, parameterized patterns are transformed 
into platform-independent constraints by a model transformation. In addition, we show how our approach can 
be supported by a tool.