pdfreaders.org

Model-Driven Constraint Engineering

by Michael Wahler, Jana Koehler, and Achim D. Brucker

Cover for wahler.ea:model-driven:2006-b.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:
Documents: (full text as PDF file)

QR Code for wahler.ea:model-driven:2006-b.Please cite this article as follows:
Michael Wahler, 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
(full text as PDF file) (BibTeX) (Endnote) (RIS) (Word) (ECEASST) (Share article on LinkedIn. Share article on CiteULike. )

BibTeX
@Article{ wahler.ea:model-driven:2006-b,
abstract = {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.},
author = {Michael Wahler and Jana Koehler and Achim D. Brucker},
copyright = {ECEASST},
copyrighturl = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/44},
editor = {Birgith Demuth and Dan Chiorean and Martin Gogolla and Jos Warmer},
issn = {1863-2122},
journal = {Electronic Communications of the EASST},
keywords = {constraint, pattern, model-driven engineering, UML, OCL},
language = {USenglish},
pdf = {http://www.brucker.ch/bibliography/download/2006/wahler.ea-model-driven-2006-b.pdf},
title = {Model-Driven Constraint Engineering},
url = {http://www.brucker.ch/bibliography/abstract/wahler.ea-model-driven-2006-b},
volume = {5},
year = {2006},
}