Specifying UML Protocol State Machines in Alloy.

Ana Gabriela Garis Ana C. R. Paiva Alcino Cunha Daniel Riesco

Published in: IFM (2012)

Keyphrases

state machines
state machine
sequence diagrams
petri net
fault tolerant
finite state machines
test cases
intermediate representation
regression testing
data structure
formal methods
genetic algorithm
object oriented
distributed databases
dependency graph