UML 2.0 State Machines: Complete Formal Semantics Via core state machine.

Harald Fecher Jens Schönborn

Published in: FMICS/PDMC (2006)

Keyphrases

state machine
formal semantics
state machines
fault tolerant
modeling language
finite state machines
operational semantics
logical language
theorem prover
modelling language
knowledge representation
metamodel
data management
test cases
first order logic