An Institution for Simple UML State Machines.

Alexander Knapp Till Mossakowski Markus Roggenbach Martin Glauer

Published in: CoRR (2014)

Keyphrases

state machines
state machine
sequence diagrams
finite state machines
database
petri net
artificial intelligence
software systems
real time
object oriented
software engineering
fault tolerant