Abstract FR:

La satisfaction de contraintes est un est un formalisme et un ensemble de techniques pour la resolution de problemes combinatoires. L'integration de ce paradigme dans un langage de programmation par objets vise deux objectifs. D'une part, la programmation par objets permet une implementation efficace et interessante des techniques de satisfaction de contraintes. D'autre part, les objets peuvent etre utilises pour definir et resoudre des problemes structures plus facilement. Traditionnellement, les systemes de contraintes implementes dans un langage a objets sont des extensions du langage sous forme de bibliotheques de classes. Nous montrons, a l'aide du systeme backtalk, les interets d'une approche de type framework. Backtalk est illustre sur plusieurs exemples et nous comparons ces performances avec certains des meilleurs systemes existants actuellement. Nous illustrons cette partie avec une application a la creation de grilles de mots croises. Nous nous interessons d'autre part a la resolution de problemes structures, c'est-a-dire dont les inconnues sont des objets complexes et non pas des nombres. L'approche traditionnelle consiste a utiliser une representation numerique de tels problemes, ce qui permet d'employer les techniques de resolution de contraintes numeriques, qui sont les mieux maitrisees. Cependant, cette demarche souleve trois difficultes majeures : elle complique sensiblement la definition des contraintes, elle empeche la reutilisation de classes predefinies et elle conduit dans certains cas a une resolution inefficace. Nous proposons une approche differente, fondee sur une representation explicite des structures du probleme par des objets du langage hote. Cette approche permet d'apporter une solution aux trois difficultes precedentes. Cette partie est illustree par une application a l'harmonisation musicale automatique.