Formal Specification of the Semantics of Control State Diagrams
Formal Specification of the Semantics of Control State Diagrams
Markus Leitz,Alexander Raschke
2018 · DOI: 10.1007/978-3-319-91271-4_26
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z · 0 Citations
TLDR
This work extends the existing semi-formal specification of this diagram type by a concrete syntax and its formal semantics that transforms combinations of nodes into ASM snippets which are inserted into a textual ASM.