The Design and Implementation of a Query Platform and Simulation Tool for the Analysis of UML State Machines Through Declarative Modeling Abstract Among the various aspects of the UML, a state machine ...