Tags and keywords
This class diagram shows the setup. There is a class with an operation
isTrue() that has an OpaqueBehavior as method, and always returns 'true'. We want to use this on a guard on a Transition. (Clearly you'd normally not always return 'true', you'd have some kind of test, but this is just so we can see whether the Transition is navigated during simulation.)
If the Alf Plugin is also installed, one can also use the powerful UML-like Action Language for Foundational UML (Alf).
There is also a Signal
ViaALH that we'll use to test a guard with the Action Language Helper (ALH).
And there is a StateMachine as classifierBehavior for the class as shown next