Scribd
Importer
221 vues2 pages

Modélisation d'un Système d'Inscription Universitaire

Transféré par

YOUSSEF SIYAH
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
221 vues2 pages

Modélisation d'un Système d'Inscription Universitaire

Transféré par

YOUSSEF SIYAH
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

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.

Vous aimerez peut-être aussi