TY - GEN
T1 - Model-driven constraint programming
AU - Chenouard, Raphaël
AU - Granvilliers, Laurent
AU - Soto, Ricardo
PY - 2008
Y1 - 2008
N2 - 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.
AB - 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.
KW - Constraint modeling languages
KW - Constraint programming
KW - Metamodeling
KW - Model transformation
UR - http://www.scopus.com/inward/record.url?scp=57549093111&partnerID=8YFLogxK
U2 - 10.1145/1389449.1389479
DO - 10.1145/1389449.1389479
M3 - Conference contribution
AN - SCOPUS:57549093111
SN - 9781605581170
T3 - PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
SP - 236
EP - 246
BT - PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
T2 - PPDP 2008: 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Y2 - 15 July 2008 through 17 July 2008
ER -