An object-oriented framework for implementing UML 2.3 state machines.