PowerAMC fournit des vérifications par défaut afin de contrôler la validité des actions d'état.
|
Vérification |
Description et correction |
|---|---|
|
Unicité du nom et du code d'action |
Les noms et code d'action doivent être uniques dans l'espace de noms (modèle ou package). Correction manuelle : Modifiez le nom/code en double Correction automatique : Ajoute un numéro au nom/code en double |
|
Evénement déclencheur non spécifié |
Vous devez spécifier un événement déclencheur pour chaque action portant sur un état. Cet événement déclencheur indique si l'action est exécutée. Remarquez que cette vérification ne s'applique pas aux actions définies sur les transitions car ces dernières sont dotées d'un événement implicite correspondance à la fin de l'exécution des actions internes (de l'état source). Correction manuelle : Spécifiez un événement déclencheur dans la feuille de propriétés de l'action Correction automatique : Aucune |
|
Occurrence dupliquée |
Deux actions distinctes d'un même état ne doivent pas se produire simultanément. L'occurrence d'une action est définie par la combinaison d'un événement déclencheur et d'une condition. Correction manuelle : Changez l'événement déclencheur ou la condition de l'action Correction automatique : Aucune |