370 likes | 484 Vues
This paper explores the concept of the Extended State Transition Matrix (ESTM), presented by authors including Yoriyuki Yamagata and others during a conference in Singapore. The ESTM is akin to state transition diagrams but is constructed on tables, lacking formal semantics. Instead, semantics are defined through its implementation. The framework supports non-trivial features, hierarchical states, and events, making it suitable for complex systems. Additionally, we discuss experiments using PAT and compare it with Garakabu2, highlighting its advanced capabilities in event handling.
E N D
Translating ESTM to CSP Yoriyuki YAMAGATA, Weiqiang KONG, Akira FUKUDA,Noriyuki KATAHIRA, Van Tang NGUYEN, Hitoshi OHSAKI 23 Feb. 2012 Singapore
Extended State Transition Matrix • Similar to State Transition Diagram • Based on tables, not diagrams
Extended State Transition Matrix • No formal semantics • Semantics defined through implementation • Non-trivial features • Hierarchical tables • Hierarchical events ...
Hierarchical STM Where
Further work • More feature • Hierarchical states, Parallel states • Interrupt • Event type… • Experiments using PAT • Comparison to Garakabu2