TY - GEN

T1 - Model-driven constraint programming

AU - Chenouard, Raphaël

AU - Granvilliers, Laurent

AU - SOTO DE GIORGIS, RICARDO JAVIER

PY - 2008/12/17

Y1 - 2008/12/17

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

Y2 - 15 July 2008 through 17 July 2008

ER -