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.

Keywords: constraint, pattern, model-driven engineering, UML, OCL
Categories:

Please cite this article as follows:
Michael Wahler and Jana Koehler and Achim D. Brucker. Model-Driven Constraint Engineering. In Electronic Communications of the EASST, 5, 2006.
Keywords: constraint, pattern, model-driven engineering, UML, OCL
(PDF) (BibTeX) (Endnote) (RIS) (Word 2007) (ECEASST) ( )