Vous êtes sur la page 1sur 5

1

Exercice 2
2

c. En vous inspirant de l'opération précédente, écrire l'opération


"LicencierEmployé".
d. Écrire l'opération "AjouterBureau".
3
Correction de l’ exercice 2 Question a et b

Déclaration des types PERSONNE , BUREAU, TELEPHONE

Déclaration

Déclarer Employés un sous ensemble de l’ensemble PERSONNE


Déclarer Bureaux un sous ensemble de l’ensemble BUREAU
Déclarer NumérosPossibles un sous ensemble de l ’ensemble TELEPHONE
Déclarer la fonction TéléphoneDuBureau qui met en relation l’ensemble BUREAU et TELEHONE
Déclarer la fonction BureauDeEmployé qui met en relation l’ensemble PERSONNE et BUREAU
Déclarer la fonction PlacesLibres qui met en relation l’ensemble BUREAU et son image le nombre de places libres N

Prédicats (contraintes)
Le domaine de la fonction TelephoneDuBureau qui est l’ensemble BUREAU doit être l’ensemble Bureaux
Le range (image) de la fonction TelephoneDuBureau qui est TELEPHONE doit être inclus dans le sous ensemble NumerosPossibles
Le domaine de la fonction BureauDeEmployé qui est PERSONNE doit être l’ensemble Employés
Le range (image) de la fonction BureauDeEmployé qui est l’ensemble BUREAU doit être inclus dans la sous ensemble Bureaux
Le domaine de la fonction PlacesLibres qui est l’ensemble BUREAU doit être l’ensemble Bureaux

A l’initialisation on fait toujours référence à notre système Annuaire

Initialisation des sous ensembles Employés et Bureaux et des fonction NumerosPossibles, TelephoneDeBureau,
BureauDeEmployé, PlacesLibres à l’ensemble vide
5

Question c et d: