Chapter 8 Gestion des Modèles Orientés Objet
Lors de la vérification d'un MOO, les contrôles suivants sont effectués sur les états :
| Vérification | Description et correction |
|---|---|
| Unicité du nom et du code d'état | Les noms et code d'état doivent être uniques dans le classificateur.
Correction manuelle : Modifiez le nom/code en double Correction automatique : Ajoute un numéro au nom/code en double |
| Transition entrante manquante | Chaque état doit être doté d'au moins une transition entrante. Un état sans transition entrante ne peut pas être atteint.
Correction manuelle : Ajoutez une transition liée à l'état Correction automatique : Aucune |
| Etat composite dépourvu de début | Un état composite détaille le comportement d'un état dans un diagramme de sous-état. Pour être complet, ce diagramme de sous-état doit comporter un début.
Correction manuelle : Ajoutez un début dans le diagramme de sous-état, ou désélectionnez la case Composite dans la feuille de propriétés de l'état Correction automatique : Aucune |
| Ordre des actions incorrect | Les événements entry doivent être les premiers dans la liste des actions d'un état. Les événements exit doivent se trouver à la fin de la liste. L'emplacement des autres actions est libre.
Correction manuelle : Déplacez les événements entry en haut de la liste et les événements exit en fin de liste Correction automatique : Déplace les événements entry en haut de la liste et les événements exit en fin de liste |
| Copyright (C) 2008. Sybase Inc. All rights reserved. |
| |