Vérification des états

PowerAMC fournit des vérifications de modèle par défaut afin de contrôler la validité des états.

Vérification	Description et correction
Le nom/code contient des termes qui ne figurent pas dans le glossaire	[si le glossaire est activé] Les noms et les codes ne doivent contenir que des termes approuvés tirés du glossaire. Correction manuelle - Modifiez le nom ou le code de sorte qu'il ne contienne que des termes du glossaire. Correction automatique - Aucune
Le nom/code contient des synonymes de termes de glossaire	[si le glossaire est activé] Les noms et les codes ne doivent pas contenir de synonymes de termes de glossaire. Correction manuelle - Modifiez le nom ou code de sorte qu'il ne contienne que des termes du glossaire. Correction automatique - Remplace les synonymes par les termes de glossaire qui leur sont associés.
Unicité du nom/code	Les noms d'objet doivent être uniques dans l'espace de noms. Correction manuelle - Modifiez le nom ou code en double. Correction automatique - Ajoute un numéro au nom ou 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