Solving Constraints in Model Transformations
Andreas Petter17
, Alexander Behring17
and Max Mühlhäuser17 
| (17) |
Department of Computer Science, Telecooperation, Technische Universität Darmstadt, Hochschulstr. 10, D-64289 Darmstadt, Germany |
Abstract
Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only
started to appear in MDSD modeling languages, but have not been properly reflected in model transformation. This paper introduces
constraint programming in model transformation, shows how constraint programming integrates with QVT Relations - as a pathway
to wide spread use of our approach - and describes the corresponding model transformation engine. In particular, the paper
will illustrate the use of constraint programming for the specification of attribute values in target models, and provide
a qualitative evaluation of the benefit drawn from constraints integrated with QVT Relations.
Keywords model driven engineering - constraint solving - constraint programming - model transformation
References secured to subscribers.