From Sequence Diagrams to State Machines by Graph Transformation.

Roy Grønmo Birger Møller-Pedersen

Published in: ICMT@TOOLS (2010)

Keyphrases

sequence diagrams
state machines
graph transformation
petri net
uml models
intermediate representation
class diagrams
test cases
regression testing
dependency graph
database
object recognition
object oriented