Petter, Andreas and Behring, Alexander and Mühlhäuser, Max
Paige, Richard (ed.) (2009):
Solving Constraints in Model Transformations.
In: Theory and Practice of Model Transformations, Springer, In: Lecture Notes in Computer Science, ISBN 978-3-642-02407-8,
[Conference or Workshop Item]
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.
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 2009 |
| Editors: | Paige, Richard |
| Creators: | Petter, Andreas and Behring, Alexander and Mühlhäuser, Max |
| Title: | Solving Constraints in Model Transformations |
| Language: | German |
| 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. |
| Title of Book: | Theory and Practice of Model Transformations |
| Series Name: | Lecture Notes in Computer Science |
| Number: | 5563 |
| Publisher: | Springer |
| ISBN: | 978-3-642-02407-8 |
| Uncontrolled Keywords: | - MDI - Area Model Driven Interaction;- SCS: SoKNOS (jointly with MDI, SST);model driven engineering, constraint solving, constraint programming, model transformation |
| Divisions: | 20 Department of Computer Science > Telecooperation 20 Department of Computer Science |
| Date Deposited: | 31 Dec 2016 12:59 |
| Identification Number: | TUD-CS-2010-0038 |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
Optionen (nur für Redakteure)
 |
View Item |
Drucken
Impressum