An Institution for Simple UML State Machines.

Alexander Knapp Till Mossakowski Markus Roggenbach Martin Glauer

Published in: FASE (2015)

Keyphrases

state machines
state machine
finite state machines
sequence diagrams
knowledge base
high level
data structure
software development
petri net
life cycle
fault tolerant
metamodel