Rewriting Constraint Models with Metamodels - Archive ouverte HAL
Communication Dans Un Congrès Année : 2009

Rewriting Constraint Models with Metamodels

Résumé

An important challenge in constraint programming is to rewrite constraint models into executable programs calculat- ing the solutions. This phase of constraint processing may require translations between constraint programming lan- guages, transformations of constraint representations, model optimizations, and tuning of solving strategies. In this paper, we introduce a pivot metamodel describing the common fea- tures of constraint models including different kinds of con- straints, 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 between the metamodel space and languages using parsing techniques. Tools from the software engineering world can be useful to implement this framework.
Fichier principal
Vignette du fichier
sara_cgs.pdf (293.82 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00456824 , version 1 (15-02-2010)

Identifiants

Citer

Raphael Chenouard, Laurent Granvilliers, Ricardo Soto. Rewriting Constraint Models with Metamodels. The eight symposium on abstraction, reformulation, and approximation, Jul 2009, Lake Arrowhead, United States. pp.42-49. ⟨hal-00456824⟩
129 Consultations
117 Téléchargements

Altmetric

Partager

More