Abstract FR:

La programmation par objets et la programmation par contraintes connaissent depuis quelques annees, un vif succes dans l'informatique. Si les atouts du paradigme objet s'expriment en termes de modularite, de reutilisabilite et de representation, la notion de contrainte apporte quant a elle, une grande declarativite dans le domaine de la resolution de problemes. Associer ces deux paradigmes semble naturel et a deja fait l'objet de nombreuses etudes. Cette association permet d'une part, d'utiliser la programmation par objet pour representer et gerer des contraintes en beneficiant ainsi pour les contraintes, des qualites logicielles des objets, d'autre part, de contraindre des objets afin d'etendre le pouvoir expressif des objets. Apres une presentation generale des contraintes, notamment des csp bases sur une enumeration des domaines couplee avec des techniques de reduction et des contraintes fonctionnelles basees sur une propagation locale de valeurs, quelques rappels sur les objets en programmation et en representation des connaissances, ce memoire propose une modelisation exhaustive des diverses manieres naturelles d'associer ces deux paradigmes en soulignant les apports specifiques de chacun. Nos contributions portent sur l'extension de l'algorithme de propagation locale (planifiee) deltablue et l'integration des deux types de contraintes (csp et fonctionnelles). Nous proposons egalement une interpretation par des operations de reecriture des contraintes sur des chemins d'attributs, et introduisons la notion de contrainte generique, basee sur une transposition aux contraintes des fonctions generiques de certains langages de programmation par objets comme clos ou dylan. Enfin, le modele objet yacos (yet another constraints objects system), ecrit au dessus du systeme y3, fournit quelques elements de reponses pour l'implementation d'un systeme alliant objets et contraintes.