Title
Model-driven constraint programming
Date Issued
17 December 2008
Access level
open access
Resource Type
conference paper
Author(s)
Pontificia Universidad Católica de Valparaíso
Abstract
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calculate the solutions. This paper focuses on efficient model management (definition and transformation). From this point of view, we propose to revisit the design of constraint-programming systems. A model-driven architecture is introduced to map solving-independent constraint models to solving-dependent decision models. Several important questions are examined, such as the need for a visual high-level modeling language, and the quality of metamodeling techniques to implement the transformations. A main result is the s-COMMA platform that efficiently implements the chain from modeling to solving constraint problems. Copyright © 2008 ACM.
Start page
236
End page
246
Language
English
OCDE Knowledge area
Ciencias de la computación
Subjects
Scopus EID
2-s2.0-57549093111
Resource of which it is part
PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
ISBN of the container
978-160558117-0
Conference
PPDP 2008: 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Sources of information:
Directorio de Producción Científica
Scopus