An Executable Formal Semantics for a UML State Machine Kernel Considering Complex Structured Data
An Executable Formal Semantics for a UML State Machine Kernel Considering Complex Structured Data
D. Seifert
2008
7 Citations
TLDR
A comprehensive formal semantics for a UML state machine kernel which also considers the use and manipulation of complex structured data and defines an operational semantics which is intended to be implemented in a standard programming language.