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