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.
Loading...