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