Transformation of UML State Machines for Direct Execution.

Tim Schattkowsky Wolfgang Müller

Published in: VL/HCC (2005)

Keyphrases

state machines
state machine
sequence diagrams
fault tolerant
petri net
regression testing
intermediate representation
finite state machines
artificial intelligence
metamodel
testing process
control flow
object oriented
dependency graph
high level
recurrent networks
case study
database