Among the various aspects of the UML, a state machine is part of the specification used to model the dynamic behavior of systems ... it into a declarative model that is implemented as a database of ...