Rôle "Post"

Propriétaire : Transition

Description

Condition that must be fulfilled once the transition has occurred. Useful only for protocol state diagrams.