Vérification des états

PowerAMC fournit des vérifications 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