PowerAMC fournit des vérifications par défaut afin de contrôler la validité des flux.
Vérification |
Description et correction |
---|---|
Flux dépourvu de source ou de destination |
Un flux doit comporter une source et une destination.
|
Format de message non défini pour un flux |
Un flux ne doit pas avoir de format de message non défini. Un format de message doit être défini ou inexistant (<Aucun>).
|
Format de message de flux incohérent |
Le format de message d'un flux sortant d'un processus composite (processus enfant) doit également figurer sur le flux entrant vers la fin contenue dans le processus enfant. Le format de message d'un flux entrant d'un processus composite doit également figurer sur le flux sortant du début contenu dans le processus enfant.
|
Condition Evénement incorrecte |
Les flux sortant d'un début, d'une décision ou d'une synchronisation ne peuvent pas avoir d'événement Fault, Compensation, ou Signal. De même, les flux sortant des synchronisations ne peuvent pas avoir un événement de type message. En outre, une décision ne peut comporter que des flux ayant un événement Message, Signal ou Timer. Vous pouvez combiner des événements Message et Timer ou bien Signal et Timer sur une même décision.
|
Destination de flux d'exception incorrecte |
Un flux ayant le stéréotype Exception doit aboutir à un processus qui est mis en oeuvre par une opération et avoir le type d'action Recevoir une demande.
|