Petter, Andreas ; Behring, Alexander ; Mühlhäuser, Max
Hrsg.: Paige, Richard (2009)
Solving Constraints in Model Transformations.
2nd International Conference on Theory and Practice of Model Transformations. Zurich, Switzerland (29.06.2009-30.06.2009)
doi: 10.1007/978-3-642-02408-5_10
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (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.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2009 |
| Herausgeber: | Paige, Richard |
| Autor(en): | Petter, Andreas ; Behring, Alexander ; Mühlhäuser, Max |
| Art des Eintrags: | Bibliographie |
| Titel: | Solving Constraints in Model Transformations |
| Sprache: | Englisch |
| Publikationsjahr: | Juni 2009 |
| Verlag: | Springer |
| (Heft-)Nummer: | 5563 |
| Buchtitel: | Theory and Practice of Model Transformations |
| Reihe: | Lecture Notes in Computer Science |
| Band einer Reihe: | 5563 |
| Veranstaltungstitel: | 2nd International Conference on Theory and Practice of Model Transformations |
| Veranstaltungsort: | Zurich, Switzerland |
| Veranstaltungsdatum: | 29.06.2009-30.06.2009 |
| DOI: | 10.1007/978-3-642-02408-5_10 |
| Kurzbeschreibung (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. |
| Freie Schlagworte: | - MDI - Area Model Driven Interaction;- SCS: SoKNOS (jointly with MDI, SST);model driven engineering, constraint solving, constraint programming, model transformation |
| ID-Nummer: | TUD-CS-2010-0038 |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Telekooperation |
| Hinterlegungsdatum: | 31 Dez 2016 12:59 |
| Letzte Änderung: | 26 Jan 2022 10:22 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum