Modélisation Dynamique: Diagramme de séquences

Ce document présente les concepts fondamentaux et avancés du diagramme de séquences utilisé en modélisation dynamique, destiné aux étudiants en deuxième année d’ingénierie informatique. Il couvre la définition, les éléments de base, les fragments d’interaction et leur utilisation dans la conception orientée objet.

Introduction au diagramme de séquences

Le diagramme de séquences est un outil de modélisation fonctionnelle et dynamique qui permet de représenter graphiquement un scénario d’interaction entre objets dans un système. Il peut être utilisé pour modéliser un système en boîte noire (diagramme de séquences système) ou pour détailler les interactions entre objets lors de la conception (diagramme de séquences objet).

En modélisation fonctionnelle, le système est vu comme une entité unique, tandis qu’en modélisation dynamique, il est remplacé par un ensemble d’objets interagissant entre eux selon une chronologie précise.

Concepts de base du diagramme de séquences

Ligne de vie

La ligne de vie représente l’ensemble des opérations exécutées par un objet au cours du temps. Elle illustre l’exécution d’une opération déclenchée par un message reçu. Le retour d’information peut être implicite ou explicite, matérialisé par un message de retour.

Messages

• Message synchrone : L’émetteur attend la réponse avant de poursuivre ses actions. Le message de retour est optionnel car implicitement inclus dans la fin d’exécution de l’opération.
• Message asynchrone : L’émetteur continue son exécution sans attendre la réponse.

Représentation graphique

Les objets sont représentés par des rectangles en haut du diagramme, avec une ligne verticale appelée ligne de vie. Les messages sont représentés par des flèches horizontales ou obliques entre les lignes de vie, indiquant l’envoi et la réception des messages.

Opérations de base dans le diagramme de séquences

Création et destruction d’objet

Un objet apparaît au moment de sa création, généralement indiquée par un message spécifique. Sa destruction est représentée par un symbole « X » à la fin de sa ligne de vie.

Contrainte temporelle et chronologie

Un trait oblique sur une flèche de message indique qu’une certaine durée est nécessaire pour l’exécution de ce message. Il est possible d’indiquer du pseudo-code exécuté par un objet pendant une opération afin de représenter un sous-ensemble du logiciel à réaliser.

Fragments d’interaction

Un fragment d’interaction est un sous-ensemble d’interactions dans un diagramme de séquences, délimité par un rectangle avec une indication du type de fragment dans le coin supérieur gauche. Il peut posséder un port d’entrée et un port de sortie pour définir ses relations avec le reste du diagramme.

Fragment combiné

Un fragment combiné est un ensemble d’interactions auquel on applique un opérateur spécifique. Il est représenté comme un diagramme de séquence avec le nom de l’opérateur indiqué dans le coin supérieur gauche.

Opérateurs principaux

• alt (alternative) : Instruction de test avec une ou plusieurs alternatives possibles, incluant des clauses de type « sinon ».
• opt (option) : Instruction de test sans alternative (pas de clause « sinon »).
• loop (boucle) : Exécution répétée d’une séquence tant qu’une condition est satisfaite. On peut spécifier un nombre minimum et maximum d’itérations : loop min, max.
• par (parallèle) : Représente deux séries d’interactions qui se déroulent en parallèle.
• strict sequencing (séquencement strict) : Respect strict de l’ordre d’exécution des interactions.
• weak sequencing (séquencement faible) : L’ordre d’exécution n’a pas d’importance entre les interactions sur des objets indépendants.
• break : Représente une situation exceptionnelle interrompant le scénario général.
• ignore : Indique que certains messages peuvent être absents sans affecter le déroulement.
• consider : Indique que certains messages doivent obligatoirement être présents.
• critical : Indique qu’une séquence d’interactions est atomique et ne peut être interrompue.
• negative : Indique qu’une séquence d’interactions est invalide.
• assert : Indique qu’une séquence d’interactions est l’unique séquence possible dans le fragment.
• ref : Permet d’appeler une séquence d’interactions définie ailleurs, agissant comme un sous-diagramme.

Exemple d’utilisation d’un fragment alt

Supposons un scénario où un objet Utilisateur envoie un message à un objet Système pour valider une opération. Le fragment alt permet de modéliser deux alternatives :

• Si la validation est réussie, le système renvoie un message de confirmation.
• Sinon, il renvoie un message d’erreur.

Ce fragment est représenté par un rectangle avec l’opérateur alt dans le coin supérieur gauche, contenant deux sous-parties séparées par une ligne horizontale, chacune correspondant à une alternative.

Autres usages du diagramme de séquences

Outre la conception des méthodes des classes, le diagramme de séquences peut documenter un cas d’utilisation en représentant le flux d’informations échangées entre objets. Les messages entre opérations sont alors vus comme des flux d’informations.

Glossaire des termes clés

• Diagramme de séquences : Représentation graphique des interactions entre objets dans le temps.
• Ligne de vie : Ligne verticale représentant la durée de vie d’un objet dans le diagramme.
• Message synchrone : Message pour lequel l’émetteur attend la réponse avant de continuer.
• Message asynchrone : Message pour lequel l’émetteur ne bloque pas son exécution en attendant la réponse.
• Fragment d’interaction : Sous-ensemble d’interactions délimité dans un diagramme de séquences.
• Fragment combiné : Fragment d’interaction avec un opérateur spécifique (alt, loop, par, etc.).
• Opérateur alt : Fragment d’alternative avec plusieurs branches possibles.
• Opérateur opt : Fragment optionnel sans alternative.
• Opérateur loop : Fragment de boucle avec condition de répétition.
• Opérateur par : Fragment représentant des interactions parallèles.
• Opérateur strict sequencing : Respect strict de l’ordre des interactions.
• Opérateur weak sequencing : Ordre des interactions non contraint.
• Opérateur break : Scénario de rupture ou situation exceptionnelle.
• Opérateur ignore : Messages pouvant être absents sans impact.
• Opérateur consider : Messages obligatoires.
• Opérateur critical : Séquence atomique non interrompue.
• Opérateur negative : Séquence invalide.
• Opérateur assert : Séquence unique possible.
• Opérateur ref : Appel d’un sous-diagramme de séquences.

Points clés à retenir

• Le diagramme de séquences modélise les interactions temporelles entre objets dans un système.
• Les messages peuvent être synchrones (bloquants) ou asynchrones (non bloquants).
• Les fragments d’interaction permettent de structurer et de contrôler la logique des interactions (alternatives, boucles, parallélisme, etc.).
• Les opérateurs de fragments facilitent la modélisation de scénarios complexes et exceptionnels.
• Le diagramme de séquences est un outil essentiel pour la conception orientée objet et la documentation des cas d’utilisation.