Rewriting Constraint Models with Metamodels

13 years 10 months ago
Rewriting Constraint Models with Metamodels
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may require translations between constraint programming languages, transformations of constraint representations, model optimizations, and tuning of solving strategies. In this paper, we introduce a pivot metamodel describing the common features of constraint models including different kinds of constraints, statements like conditionals and loops, and other first-class elements like object classes and predicates. This metamodel is general enough to cope with the constructions of many languages, from object-oriented modeling languages to logic languages, but it is independent from them. The rewriting operations manipulate metamodel instances apart from languages. As a consequence, the rewriting operations apply whatever languages are selected and they are able to manage model semantic information. A bridge is created be...
Raphaël Chenouard, Laurent Granvilliers, Rica
Added 27 Jul 2010
Updated 27 Jul 2010
Type Conference
Year 2009
Where SARA
Authors Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto
Comments (0)