Title
Rewriting Constraint Models with Metamodels
Abstract
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.
Year
Venue
Keywords
2010
Clinical Orthopaedics and Related Research
constraint programming,rewriting,artificial intelligent,software engineering,metamodel
DocType
Volume
ISSN
Journal
abs/1002.3023
The eight symposium on abstraction, reformulation, and approximation, Lake Arrowhead : United States (2009)
Citations 
PageRank 
References 
3
0.43
13
Authors
3
Name
Order
Citations
PageRank
Raphaël Chenouard1415.05
Laurent Granvilliers247837.77
Ricardo Soto3256.29