Vérification des transitions et des flux

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