LIP6 1999/001
- Rapports de recherche
Un Framework orienté-objet pour la satisfaction de contraintes - P. Roy, A. Liret, F. Pachet
- 22 pages - 19/02/1999- document en - http://www.lip6.fr/lip6/reports/1999/lip6.1999.001.ps.gz - 644 Ko
- Contact : Anne.Liret (at) nulllip6.fr
- Ancien Thème : OASIS
- Mots clés : problème de satisfaction de contraintes (CSP), Programmation par objets, Framework
- Directeur de la publication : Valerie.Mangin (at) nulllip6.fr
L'objet de ce rapport est de montrer l'intérêt de l'approche par framework pour construire des environnements efficaces et puissants de programmation par satisfaction de contraintes. La programmation par contraintes est un paradigme de résolution de problèmes combinatoires complexes. L'intégration de ce paradigme avec les objets relève de deux objectifs : d'une part, implémenter efficacement les algorithmes de programmation par contraintes ; d'autre part, énoncer et résoudre des systèmes de contraintes complexes de manière simple et rapide. Les systèmes traditionnels offrant une intégration de ces deux paradigmes, utilisent une approche par langage ; ils sont une extension des langages de programmation existants. Objets et contraintes y sont combinés de plusieurs manières.
Dans ce rapport, nous voulons montrer que l'approche par framework est plus adaptée aux besoins de la satisfaction de contraintes orientée objets, que ne l'est l'approche par langage. Nous proposons pour cela un framework destiné à énoncer et résoudre les systèmes de contraintes qui mettent en jeu des objets. Nous l'illustrons sur des exemples variés.
Dans ce rapport, nous voulons montrer que l'approche par framework est plus adaptée aux besoins de la satisfaction de contraintes orientée objets, que ne l'est l'approche par langage. Nous proposons pour cela un framework destiné à énoncer et résoudre les systèmes de contraintes qui mettent en jeu des objets. Nous l'illustrons sur des exemples variés.