Execution of UML State Machines Based on fUML