Computer Science – Artificial Intelligence
Scientific paper
2010-02-16
The eight symposium on abstraction, reformulation, and approximation, Lake Arrowhead : United States (2009)
Computer Science
Artificial Intelligence
Scientific paper
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.
Chenouard Raphael
Granvilliers Laurent
Soto Ricardo
No associations
LandOfFree
Rewriting Constraint Models with Metamodels does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Rewriting Constraint Models with Metamodels, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Rewriting Constraint Models with Metamodels will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-598051