Model-Driven Constraint Engineering

Michael Wahler, Jana Koehler, Achim D. Brucker
2007 Electronic Communications of the EASST  
Precise specification of meta-models is an important rerequisite for the successful application of a model-driven engineering (MDE) process. One means of precise specification are textual constraints. However, the task of constraint development is time-consuming and error-prone if done manually. In this paper, we present both a methodology and a tool for developing constraints in a systematic way that can be integrated into a CASE tool. Thus, we provide a semi-automated means for integrating
more » ... straints into the MDE process. Our approach is based on an extensible library of generic constraint patterns. Constraint patterns can be combined to create complex constraints and easily parameterized in a CASE tool. Moreover, we show how these parameterized patterns are transformed into platform-independent or platform- specific constraints by a model transformation.
doi:10.14279/tuj.eceasst.5.44 dblp:journals/eceasst/WahlerKB06 fatcat:xak7xnlrmzho7oumyw74wymsyi