PowerAMC fournit des vérifications par défaut afin de contrôler la validité des transitions et des flux.
|
Vérification |
Description et correction |
|---|---|
|
Transition/flux dépourvu(e) de source ou de destination |
La transition ou le flux ne comporte pas de source ou de destination. Sélectionnez ou créez un objet servant de source ou de destination. Correction manuelle : Affectez une source ou une destination à la transition/au flux Correction automatique : Aucune |
|
Condition inutile |
S'il n'existe qu'une seule transition sortante ou un seul flux sortant, l'existence d'une condition ou d'un type sur cette transition ou ce flux n'est pas justifiée. Correction manuelle : Supprimez la condition ou le type de flux inutile ou créez une autre transition avec une autre condition ou type de flux Correction automatique : Aucune |
|
Condition manquante |
Si un objet a plusieurs transitions/flux sortant(e)s, ou si la transition ou le flux est de type réflexif, chaque transition/flux doit comporter une condition. Dans un diagramme d'états-transitions, une transition doit comporter un événement ou une condition. Correction manuelle : Définissez une condition sur la transition, ou bien créez une synchronisation pour spécifier une exécution en parallèle Correction automatique : Aucune |
|
Transition dupliquée entre états/Flux dupliqué entre activités |
Deux transitions parallèles (ayant les mêmes extrémités) ne peuvent se produire simultanément, mais doivent plutôt être gouvernées par des conditions (et, dans le cas des transitions, d'événements déclencheur). Correction manuelle : Changez l'événement déclencheur (diagramme d'états-transitions uniquement) ou la condition de l'une des transition Correction automatique : Aucune |