Does anyone know of a construct to add guards (expressions on other variables) to state transitions?
Can this be done via the standard defined types or would this require to model subtypes?
E.g. a state transition with a certain cause (HasCause reference) should only be effetuated if a variable of the state machine has a certain value.
I could imagine doing this via a new reference subtype (HasGuard) in combination with a Guard property (Equals) or so. But don't know if this is the intended way to model things. So much flexibility in address space it looks like.
Note that in principle the value range of this variable to be guarded represents a collection of different states. But I do not want to expand/include all of them, in order to keep the state model simple.
Thanks in advance for any feedback.
Grt, Patrick
Guards for State Transitions
Moderator: Support Team
- Support Team
- Hero Member
- Posts: 3064
- Joined: 18 Mar 2011, 15:09
Re: Guards for State Transitions
Hi Patrick,
A transition can point to a Variable as cause of the transition (HasCause). But there is no standard way yet to express the condition (e.g. a specific value) that triggers the transition. The behaviour is only well defined for Methods (triggers transition if executed successfully).
Best Regards,
Unified Automation Support Team
A transition can point to a Variable as cause of the transition (HasCause). But there is no standard way yet to express the condition (e.g. a specific value) that triggers the transition. The behaviour is only well defined for Methods (triggers transition if executed successfully).
Best Regards,
Unified Automation Support Team