Statechart规格语言的语法分析研究

On the Syntax Verification of Statechart Language

Ｓｔａｔｅｃｈａｒｔ是一种用以规约复杂反应式系统行为的可视化语言。它在一些方面上扩展了典型的状态转移图，保留甚至发挥了可视化要求。实际上， Ｓｔａｔｅｃｈａｒｔ 满足层次的描述，包括高层和低层事件，更显著地是采用广播通信机制产生连锁反应而引起多层并发。通过对 Ｓｔａｔｅｃｈａｒｔ语言进行了分析研究后给出了其形式化文法表示。在此基础上，讨论了 Ｓｔａｔｅｃｈａｒｔ规格语言语法正确性分析的问题。

Statechart, as a visual language for specifying the behavior of complex reactive systems, is analyzed in the paper. It extend classical state of transition diagrams in several ways, while retaining and even enhancing their visual appeal. In particular, statechart cater for hierarchical descriptions mechanism that can give rise to chain reaction effects. Based on it, a formal syntax representation for Statechart is proposed. Also, the syntax verification of Statechart was explored.