An object-oriented framework for implementing UML state machines.