Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Solving Constraints in Model Transformations

Andreas Petter17 Contact Information, Alexander Behring17 Contact Information and Max Mühlhäuser17 Contact Information

(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


Contact Information Andreas Petter
Email: a_petter@tk.informatik.tu-darmstadt.de

Contact Information Alexander Behring
Email: behring@tk.informatik.tu-darmstadt.de

Contact Information Max Mühlhäuser
Email: max@tk.informatik.tu-darmstadt.de
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.111 • Server: mpweb21
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)