Master IT S3 A.

U 2022/2023
Option GL

TD OCL

Exercice 1 :

Soit le diagramme de classe de la figure ci-dessous qui modélise le système d’inscription en licence ou
master dans une université marocaine.

Derivé:transitivité

Décrire en français ce qu’expriment les requêtes suivantes.

1.
Context Filière
Inv (Type = ‘Licence’ implies module -> size()=36) OR (Type = ‘Master’ implies module -> size()=19) ;

2.
Context Filière
Inv Type=‘Master’ implies Module -> select(m/ m.semestre =4) -> size()=1 ;

3.
Context Etudiant
Inv Module.Filière -> AsSet() -> size() = 1 ;

4.
Context Module
Inv Filère = pre-requis.filière -> AsSet() ;

5.
Context Etudiant
Let Ins1: Set(Inscription) = Inscription - > select(i/i.etat=‘encours’) In
Let Ins2: Set(Inscription) = Inscription - > select(i/i.etat=‘validé’) In
Ins1.Module - > Intersection (Ins2.Module) -> isEmpty() ;

Exercice 2 :

EX2018

Les employés d’une direction peuvent être dérivés à partir des recrutement en cours.