A Framework for Constraint Satisfaction - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1999

A Framework for Constraint Satisfaction

Un Framework orienté-objet pour la satisfaction de contraintes

Résumé

This paper discusses the relevance of the framework approach for building efficient and powerful constraint satisfaction programming environments. Constraint satisfaction programming is a paradigm for solving complex combinatorial problems. Integrating this paradigm with objects addresses two different objectives. On the one hand, objects may be used to implement efficiently constraint satisfaction algorithms. On the other hand, objects can be used to state and solve complex constraint problems more easily, and more efficiently. Traditional systems offering an integration of the two paradigms use a language-based approach, i.e. are extensions of existing programming languages, which integrate both paradigms in various ways. In this chapter, we argue that the framework approach is more adapted to the requirements of embedded object oriented constraint satisfaction than the language-based approach. We propose such a framework for stating and solving constraint problems involving object, and illustrate it on various examples.
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.
Fichier principal
Vignette du fichier
lip6.1999.001.pdf (256.19 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02548204 , version 1 (20-04-2020)

Identifiants

  • HAL Id : hal-02548204 , version 1

Citer

Pierre Roy, Anne Liret, François Pachet. A Framework for Constraint Satisfaction. [Research Report] lip6.1999.001, LIP6. 1999. ⟨hal-02548204⟩
24 Consultations
113 Téléchargements

Partager

Gmail Facebook X LinkedIn More