TU Darmstadt / ULB / TUbiblio

Solving Constraints in Model Transformations

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 View Item