Skip to Main content Skip to Navigation
Conference papers

CSP dynamiques en configuration

Résumé : Les CSP constituent une bonne approche pour gérer les problèmes de configuration à base de contraintes. Cependant, la configuration fait ressortir des besoins qui peuvent difficilement être traités par des CSP classiques : les composants optionnels et la gestion hiérarchique des composants. Certains travaux apportent des solutions à certains de ces besoins (DCSP pour l'activation de variables, CCSP pour la gestion des groupes), mais utilisent généralement des approches incompatibles entre elles. À travers une étude de la sémantique du dynamisme dans les CSP, nous proposons une tentative d'unification de ces approches, dans le but d'obtenir un modèle basé sur des CSP. Ce modèle permet de traiter les problèmes de configuration autonome mais surtout interactive, en utilisant les avantages de chacune de ces différentes approches. De plus, nous proposons un nouvel opérateur permettant de retarder la prise en compte de parties du problème initial, ceci afin d'allèger les phases de propagation.
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/inria-00085799
Contributor : Laurent Henocque <>
Submitted on : Friday, July 14, 2006 - 1:27:48 PM
Last modification on : Wednesday, June 24, 2020 - 4:18:32 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 12:09:28 AM

File

Identifiers

  • HAL Id : inria-00085799, version 1

Citation

Thomas van Houdenove, Paul Gaborit, Michel Aldanondo, Élise Vareilles. CSP dynamiques en configuration. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France, France. ⟨inria-00085799⟩

Share

Metrics

Record views

258

Files downloads

238