Rewriting constraint models with metamodels

Raphaël Chenouard, Laurent Granvilliers, RICARDO JAVIER SOTO DE GIORGIS

Resultado de la investigación: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

3 Citas (Scopus)

Resumen

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 between the metamodel space and languages using parsing techniques. Tools from the software engineering world can be useful to implement this framework.

Idioma originalInglés
Título de la publicación alojadaSARA 2009 - Proceedings, 8th Symposium on Abstraction, Reformulation and Approximation
Páginas42-49
Número de páginas8
EstadoPublicada - 1 dic 2009
Evento8th Symposium on Abstraction, Reformulation and Approximation, SARA 2009 - Lake Arrowhead, CA, Estados Unidos
Duración: 7 jul 200910 jul 2009

Serie de la publicación

NombreSARA 2009 - Proceedings, 8th Symposium on Abstraction, Reformulation and Approximation

Conferencia

Conferencia8th Symposium on Abstraction, Reformulation and Approximation, SARA 2009
País/TerritorioEstados Unidos
CiudadLake Arrowhead, CA
Período7/07/0910/07/09

Huella

Profundice en los temas de investigación de 'Rewriting constraint models with metamodels'. En conjunto forman una huella única.

Citar esto