TD ? Compagnie aérienne
TD UML ? Maîtrise d'IUP MIAGE ? Université d'Evry. 2003-2004. TD 4 - OCL.
Exercice 1. Pour les différents problèmes suivants construire le diagramme de ...
part of the document
RLINK "mailto:self.poids@pre" self.poids@pre - quantite
context Montgolfiere::monter()
post : self.lest() = self.ballon@pre.temperature()
Soit une cave composée de types de bouteilles de vin. Un type de bouteilles de vin se caractérise par son cépage, sa date de mise en bouteille, du nombre de bouteilles en réserve et du producteur. Pour chaque cave on a une réserve et on connaît les bouteilles consommées.
Pour chaque cave on peut boire un type de bouteille, noter un type de bouteille et connaître la dernière bouteille bue.
SOLUTION
context Cave::note(T : TypeDeBouteille):entier
pre : self.bouteillesConsommes->exists(T)
post : result = t.notation.note
context Cave::boire(T :TypeDeBouteille)
pre : self.reserve->exists(T)
post : self.bouteillesConsommes.notation->notEmpty
and t.notation->exists
and bouteillesConsommees.nb_bouteilles=bouteillesConsommees.nb_bouteilles@pre+1
Exercice 2
Soit la classe Personne. Une personne peut être lenfant de quelquun ou être parent. Représenter cette notion sous forme de diagramme de classes.
Pour chaque parent, on peut connaître le nombre de filles et de garçons. Exprimer les propriétés de ces deux méthodes en OCL (utiliser la fonction select).
SOLUTION
context Personne::NbFilles():entier
post :result=self.enfants->select(fille | fille.sexe=#feminin)->size
ou result = self.enfants- >select(fille | fille.sexe=#feminin)->size
ou result = self.enfants->select(fille : Personne|fille.sexe=#feminin)->size
Exprimer le fait quune personne a au plus deux parents.
SOLUTION
context Personne inv :
self.parents->size sum> plafondDImposition
then self.parents.payeDesImpots = vrai
else self.parents.payeDesImpots = faux
On peut calculer pour chaque personne les revenus des parents. Exprimer les propriétés de cette méthode en OCL (utiliser la fonction iterate).
SOLUTION
context Personne::revenusDesParents():entier
post : result = self.parents->iterate(p :Personne ;val :entier=0 | val=p.revenus->sum)
Exercice 3
Une personne peut être mari ou femme. Elle peut donc être mariée, avoir un emploi, avoir une date danniversaire, un age, un nom de famille, un prénom, un sexe et un revenu. Si elle a un emploi elle peut être employée par une compagnie. Une compagnie a des employés et un patron. Une personne a un compte en banque avec un numéro de compte.
Représenter le diagramme de classes correspondant.
Exprimer en OCL les propriétés suivantes :
une compagnie a au moins 50 employés
une personne est considérée comme sans emploi si son salaire est inférieur à 100
une compagnie na quun seul patron
le patron dune compagnie a forcément plus de 50 ans
si une personne a un époux alors il est du sexe opposé au sien
une personne de moins de 16 ans et de plus de 60 ans est sans emploi
TD UML Maîtrise dIUP MIAGE Université dEvry
2003-2004
- PAGE 1 -
