Deterministic UML Models for Interconnected Activities and State Machines.

Zamira Daw Marcus Vetter

Published in: MoDELS (2009)

Keyphrases

state machines
sequence diagrams
uml models
petri net
state machine
intermediate representation
test cases
object oriented
regression testing
dependency graph
database
recurrent networks