Scribd Logo
Importer

Bienvenue sur Scribd !

  • 74 vues

    TD Ocl

    Transféré par

    YOUSSEF SIYAH

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd

    TD Ocl

    Transféré par

    YOUSSEF SIYAH
    74 vues2 pages

    Titre original

    TD-OCL

    Copyright

    © © All Rights Reserved

    Formats disponibles

    PDF, TXT ou lisez en ligne sur Scribd

    Avez-vous trouvé ce document utile ?

    Ce contenu est-il inapproprié ?

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pdf ou txt
    74 vues2 pages

    TD Ocl

    Transféré par

    YOUSSEF SIYAH

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pdf ou txt
    Vous êtes sur la page 1sur 2

    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

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy