1 - PRÉSENTATION DU CAS

• 1.1 - Énoncé des faits
• 1.2 - Énoncé des règles de gestion

2 - MODÉLISATION CONCEPTUELLE

• 2.1 - Inventaire des objets
• 2.2 - Description initiale des objets
• 2.3 - Étude locale des classes
  Figure 1 - Graphe de transitions d’état de la classe ABONNÉ
• 2.4 - Étude globale des aspects statiques
  Figure 2 - Graphe de transition d’état de la classe DEMANDE Figure 3 - Schéma statique global
• 2.5 - Étude globale des aspects dynamiques
  Figure 4 - Opérations déclenchées par l’événement Arrivée d’une demande de prêt Figure 5 - Opérations déclenchées par l’événement Arrivée d’une réponse à une convocation Figure 6 - Opérations déclenchées par l’événement Arrivée d’un exemplaire de livre acheté Figure 7 - Opération déclenchée par l’événement Arrivée d’une inscription Figure 8 - Opération déclenchée par l’événement Arrivée de paiement d’une inscription Figure 9 - Opération déclenchée par l’événement Expiration du délai de paiement d’une inscription
• 2.6 - Identification des classes (seconde itération)
• 2.7 - Étude locale des classes (seconde itération)
• 2.8 - Étude globale du schéma statique (seconde itération)
  Figure 10 - Graphe de transitions d’état de la classe exemplaire : 2ème itération Figure 11 - Graphe de transitions d’état de la classe CONVOCATION Figure 12 - Graphe de transitions d’état de la classe RAPPEL
• 2.9 - Étude globale du schéma dynamique (seconde itération)
  Figure 13 - Graphe de transitions d’état de la classe PRÊT Figure 14 - Schéma statique global : 2e itération Figure 15 - Opérations déclenchées par l’événement Arrivée d’une demande de prêt Figure 16 - Opérations déclenchées par l’événement Arrivée d’une réponse à une convocation Figure 17 - Opérations déclenchées par l’événement Arrivée d’un exemplaire de livre acheté Figure 18 - Opérations déclenchées par l’événement Atteinte de 3 pénalités Figure 19 - Opérations déclenchées par l’événement Expiration de la durée d’attente d’une demande Figure 20 - Opérations déclenchées par l’événement Expiration du délai de convocation Figure 21 - Opérations déclenchées par l’événement Arrivée d’un retour
• 2.10 - Étude globale du schéma dynamique (troisième itération)
  Figure 22 - Opérations déclenchées par l’événement Arrivée de décision sur les exemplaires usés Figure 23 - Opérations déclenchées par l’événement Disponibilité d’un exemplaire Figure 24 - Opérations déclenchées par l’événement Moment de l’inventaire annuel Figure 25 - Opérations déclenchées par l’événement Expiration du délai de retour d’un livre Figure 26 - Opérations déclenchées par l’événement Expiration de chaque semaine après l’expiration d’un prêt
• 2.11 - Validation des spécifications
  Figure 27 - Graphe de transitions d’état étendu de la classe ABONNÉ Figure 28 - Graphe de transitions d’état étendu de la classe DEMANDE Figure 29 - Opérations déclenchées par l’événement Déclaration d’un exemplaire perdu Figure 30 - Graphe de transitions d’état étendu de la classe EXEMPLAIRE Figure 31 - Graphe de transitions d’état étendu de la classe CONVOCATION Figure 32 - Graphe de transitions d’état étendu de la classe RAPPEL Figure 33 - Graphe de transitions d’état étendu de la classe PRÊT Figure 34 - Graphe de gestion des abonnés Figure 35 - Graphe de gestion des livres Figure 36 - Graphe de gestion des prêts

3 - MODÉLISATION LOGIQUE

• 3.1 - Définition des classes O2
  Figure 37 - Schéma conceptuel statique Figure 38 - Classes O2 de l’application Bibliothèque
• 3.2 - Programmation du corps des méthodes
• 3.3 - Programmation d’un événement externe