PowerAMC fournit des vérifications par défaut afin de contrôler la validité des é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 |