Model-Driven Constraint Programming

02/15/2010
by   Raphael Chenouard, et al.
0

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 highlevel 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

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/16/2010

Using ATL to define advanced and flexible constraint model transformations

Transforming constraint models is an important task in re- cent constrai...
research
02/16/2010

Rewriting Constraint Models with Metamodels

An important challenge in constraint programming is to rewrite constrain...
research
03/08/2000

Logic Programming for Describing and Solving Planning Problems

A logic programming paradigm which expresses solutions to problems as st...
research
07/25/2019

Spacetime Programming: A Synchronous Language for Composable Search Strategies

Search strategies are crucial to efficiently solve constraint satisfacti...
research
09/01/2020

PYCSP3: Modeling Combinatorial Constrained Problems in Python

In this document, we introduce PYCSP3, a Python library that allows us t...
research
09/08/2011

Conjure Revisited: Towards Automated Constraint Modelling

Automating the constraint modelling process is one of the key challenges...
research
08/16/2019

Exploring Properties of Icosoku by Constraint Satisfaction Approach

Icosoku is a challenging and interesting puzzle that exhibits highly sym...

Please sign up or login with your details

Forgot password? Click here to reset