Analyse du comportement interne et diagramme d'états du Publiphone

Cette étude porte sur l’analyse du comportement interne et la modélisation par diagramme d’états d’un système appelé Publiphone, un téléphone public automatisé. Elle s’adresse aux étudiants et professionnels en informatique ou en ingénierie des systèmes souhaitant comprendre comment modéliser le fonctionnement interne d’un système interactif complexe à l’aide d’UML (Unified Modeling Language).

La question

Le travail vise à résoudre le problème de la modélisation précise et complète du comportement interne du Publiphone, notamment la gestion des pièces introduites, du crédit de l’appelant, et des différentes étapes d’un appel téléphonique. Il s’agit de représenter graphiquement les états du système et les transitions déclenchées par des événements internes ou externes, afin de mieux comprendre et formaliser son fonctionnement. Cette modélisation est essentielle pour concevoir, vérifier et maintenir un système fiable et cohérent.

Concepts de base

Pour saisir cette modélisation, il faut comprendre plusieurs notions clés :

• Diagramme d’états : un outil UML qui décrit les différents états dans lesquels un système peut se trouver et les transitions entre ces états, déclenchées par des événements.
• Événements : des occurrences qui provoquent un changement d’état. Ils peuvent être des messages reçus d’acteurs externes (utilisateurs, autres systèmes) ou des événements internes au système.
• Transition propre : une transition qui fait quitter un état pour y revenir, ce qui peut entraîner la réinitialisation d’activités ou l’exécution d’actions d’entrée et de sortie.
• Transition interne : une transition qui se produit à l’intérieur d’un état sans en changer, permettant de gérer des événements sans perturber l’état courant.
• Super-état : un état englobant plusieurs sous-états, utilisé pour factoriser des comportements communs et simplifier le diagramme.
• Messages paramétrés : des messages génériques avec des paramètres variables, par exemple introPiece(p) où p représente la valeur de la pièce introduite.
• Unité de temps (UT) : une mesure de temps utilisée pour la tarification de la communication.

Approche

La méthode adoptée consiste à partir d’un diagramme de séquence système qui liste les messages échangés entre le Publiphone et ses acteurs. Ces messages sont ensuite généralisés en messages paramétrés pour couvrir tous les cas possibles. L’étape suivante est la construction d’un diagramme d’états qui intègre :

• Les états principaux du système, comme « Raccroché en service », « Attente pièces », « Attente numéro », « Décroché », « Fin communication ».
• Les événements déclencheurs des transitions, principalement les messages reçus, mais aussi des événements internes notés « when » suivis d’une condition booléenne.
• La gestion du crédit de l’appelant, avec incrémentation lors de l’introduction de pièces et décrémentation à chaque unité de temps pendant la communication.
• L’utilisation d’un super-état « Décroché » pour factoriser les transitions communes, notamment la transition vers l’état « Raccroché » lors du raccrochage.
• La distinction entre transition propre et transition interne pour gérer l’ajout de pièces sans perturber l’état courant.

Cette approche permet de modéliser de manière claire et élégante le comportement complexe du Publiphone, en évitant la surcharge du diagramme et en facilitant la compréhension.

Résultats

Le travail aboutit à un diagramme d’états complet et cohérent qui :

• Représente fidèlement le cycle d’un appel téléphonique, depuis l’état initial « Raccroché en service » jusqu’à la fin de communication.
• Intègre la gestion du crédit de l’appelant, avec des transitions conditionnées par le seuil minimal de 0,2 ! nécessaire pour composer un numéro.
• Utilise la notion d’événement interne « when » pour déclencher la transition entre « Attente pièces » et « Attente numéro » lorsque le crédit est suffisant.
• Prend en compte la consommation du crédit dès que l’appelé décroche et à chaque unité de temps, avec une action « taxer » qui simule la chute d’une pièce.
• Introduit un état « Fin communication » pour gérer les interruptions dues à un crédit insuffisant.
• Adopte une transition interne au super-état « Décroché » pour permettre l’ajout de pièces à tout moment sans changer d’état, évitant ainsi la lourdeur d’une transition propre répétée sur chaque sous-état.

Limites et questions ouvertes

Le document ne mentionne pas explicitement les limites de l’étude, mais on peut noter que :

• La modélisation reste centrée sur le comportement interne du Publiphone sans aborder les aspects matériels ou les interactions réseau en détail.
• La gestion des erreurs ou des cas exceptionnels (par exemple, pièces non reconnues, numéros invalides) n’est pas développée.
• La complexité potentielle liée à l’extension du système à d’autres fonctionnalités n’est pas discutée.

Glossaire

• Diagramme d’états : représentation graphique des états d’un système et des transitions entre eux.
• Transition propre : transition qui fait quitter un état pour y revenir, pouvant entraîner des effets d’entrée et sortie.
• Transition interne : transition qui gère un événement sans changer l’état courant.
• Super-état : état englobant plusieurs sous-états, utilisé pour factoriser des comportements communs.
• Événement interne « when » : événement déclenché par une condition booléenne interne au système.
• Message paramétré : message générique avec paramètres variables (ex. introPiece(p)).
• Unité de temps (UT) : intervalle de temps utilisé pour la tarification des appels.
• Crédit : montant d’argent disponible pour passer un appel, calculé en fonction des pièces introduites.