Vérification des transitions et des flux

PowerAMC fournit des vérifications de modèle 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