Analyse de domaine

1. 1. Introduction

Ce projet à pour objectif de modéliser une Bibliothèque, pour ce faire nous ferons une analyse de domaine afin de créer un diagramme de classes, puis une machine d’états de la classe Livre, et enfin nous utiliserons le language OCL afin de spécifier les invariants de la modélisation.

2. 2. Diagramme de classes Bibliothèque

Diagramme de classes
Figure 1. Diagramme de classes

3. 3. Machine d’états de la classe Livre

Machine d’états de la classe Livre
Figure 2. Machine d’états de la classe Livre

4. 4. Partie OCL: invariants du programme

Diagram

5. 5. Cas d’utilisation de la Bibliothèque

  1. Les acteurs

Un acteur est une entité ou une personne qui interagit avec un système ou un processus. Les acteurs peuvent être des utilisateurs humains, d’autres systèmes informatiques, des capteurs, des dispositifs matériels, ou même des entités abstraites comme des organisations ou des départements.

Dans notre cas, les acteurs principaux sont le bibliothécaire, les abonnés et les membres du comité. Les acteurs secondaires sont les personne gerant l’informatique au sein de la bibliothèque. Le système a aussi des acteurs externes, les éditeurs ainsi que les auteurs.

  1. Cas d’utilisation

5.1. Emprunter :

Acteur principal

Abonné

Préconditions

  • L’abonné est connecté à son compte.

  • Le livre souhaité est disponible dans la bibliothèque.

  • L’abonné n’a pas déjà emprunté le nombre maximal de livres autorisés.

Scénario principal

  1. L’abonné recherche le livre qu’il souhaite emprunter en utilisant le système de recherche de la bibliothèque.

  2. Une fois le livre trouvé, l’abonné sélectionne l’option "Emprunter".

  3. Le système vérifie la disponibilité du livre et les conditions d’emprunt, y compris le nombre maximal de livres autorisés par l’abonné et la durée d’emprunt.

  4. Si le livre est disponible et que les conditions sont remplies, le système enregistre l’emprunt avec les informations suivantes :

    • Nom et numéro d’identification de l’abonné.

    • Titre du livre.

    • Date d’emprunt.

    • Date de retour prévue (un mois à partir de la date d’emprunt pour les abonnés standards, deux mois pour les membres du comité de lecture).

  5. Le système met à jour les informations de disponibilité du livre et du compte de l’abonné.

Extensions

  • Si le livre n’est pas disponible, le système affiche un message informant l’abonné de sa non-disponibilité.

  • Si l’abonné a déjà emprunté le nombre maximal de livres autorisés, le système affiche un message l’informant de cette limite.

5.2. Rendre :

Acteur principal

Abonné

Préconditions

  • L’abonné est connecté à son compte.

  • L’abonné a emprunté au moins un livre.

Scénario principal

  1. L’abonné accède à son compte et sélectionne l’option "Mes Emprunts" ou équivalent.

  2. Le système affiche la liste des livres empruntés par l’abonné.

  3. L’abonné sélectionne le livre qu’il souhaite rendre.

  4. L’abonné sélectionne l’option "Rendre" à côté du livre choisi.

  5. Le système enregistre le retour du livre avec les informations suivantes :

    • Nom et numéro d’identification de l’abonné.

    • Titre du livre.

    • Date de retour réelle.

  6. Le système met à jour les informations de disponibilité du livre dans la bibliothèque.

  7. Le système ajuste éventuellement les informations de compte de l’abonné en fonction du retour du livre.

Extensions

  • Si l’abonné n’a pas emprunté de livre, le système affiche un message indiquant qu’il n’y a aucun livre à rendre.

  • Si l’abonné sélectionne un livre qui n’a pas été emprunté par lui-même, le système affiche un message d’erreur.

    1. Diagrammes d’objets

5.3. Emprunter Livre

Avant l’interaction

  • Bibliothèque

    • Sections:: Adulte, Adolescent, Enfant

    • Livres disponibles:: Livre1, Livre2, Livre3

  • Abonné

    • Nom:: Alice

    • Carte de membre:: 1234567890

    • Livres empruntés:: Aucun

Après l’interaction (si l’abonné emprunte Livre2)

  • Bibliothèque

    • Sections:: Adulte, Adolescent, Enfant

    • Livres disponibles:: Livre1, Livre3

    • Livres empruntés:: Livre2

  • Abonné

    • Nom:: Alice

    • Carte de membre:: 1234567890

    • Livres empruntés:: Livre2

5.4. Rendre Livre

Avant l’interaction

  • Bibliothèque

    • Sections:: Adulte, Adolescent, Enfant

    • Livres disponibles:: Livre1, Livre2, Livre3

    • Livres empruntés:: Aucun

  • Abonné

    • Nom:: Alice

    • Carte de membre:: 1234567890

    • Livres empruntés:: Livre2

Après l’interaction (si l’abonné rend Livre2)

  • Bibliothèque

    • Sections:: Adulte, Adolescent, Enfant

    • Livres disponibles:: Livre1, Livre2, Livre3

    • Livres empruntés:: Aucun

  • Abonné

    • Nom:: Alice

    • Carte de membre:: 1234567890

    • Livres empruntés:: Aucun