Download Modélisation - L1 Partiel - Correction exercice CSP

Modélisation - L1
Partiel - Correction exercice CSP
Exercice 1. Programmation par contraintes
2010-2011
10 points
Variables
Pour chacune des tâches on utilise une variable pour sa date de début (notée Vd ) et une
variable pour sa date de fin (notée Vf )
– implémentation du projet : Impd , Impf
– conception architecturale du projet : Archd , Archf
– modélisation détaillée du programme : M odd , M odf
– recueil des besoins du client : Besd , Besf
– définition des spécifications du projet : Specd , Specf
– écriture du manuel d’utilisation : M and , M anf
– écriture de la documentation pour la maintenance du programme : Docd , Docf
– présentation du projet fini au client :P resd ,P resf .
On notera V l’ensemble de ces variables.
Domaines
Toutes les variables sont des dates représentées par le nombre de jours depuis le début du
projet.
∀v ∈ V, D = [0; 120[
Contraintes
Pour toute tâche (V ), la date de début précède la date de fin :
Vd ≤ Vf
Pour toute tâche (V ), la date de fin précède la date de la présentation :
Vf ≤ P resd
Le projet commence par le recueil des besoins :
Besd = 0
Le recueil des besoins dure au moins 15 jours et au plus 30 :
Besf ≥ Besd + 15 Besf ≤ Besd + 30
Les spécifications ne peuvent commencer à être définies que 5 jours avant la fin du recueil
des besoins :
Specd ≥ Besd − 5
La modélisation détaillée ne peut commencer qu’après la fin de la phase de conception
architecturale :
M odd ≥ Archf
La conception architecturale ne peut commencer qu’après la fin de la phase de spécification :
Archd ≥ Specf
L’implémentation ne peut commencer qu’après la fin de la phase de modélisation détaillée :
Impld ≥ M odf
La rédaction du manuel d’utilisation peut commencer dès la fin de la phase de spécification :
M and ≥ Specf
1/2
Modélisation - L1
Partiel - Correction exercice CSP
2010-2011
La rédaction de la documentation de maintenance commence dès la fin de la modélisation
détaillée :
Docd = M odf
La conception de l’architecture doit être finie au bout de 50 jours :
Archf ≤ 50 ou Archf ≤ Archd + 50 suivant interprétation.
Tout doit être fini avant le jour de la présentation, qui doit avoir lieu avant le 120ème jour.
P resd = P resf = 119
2/2