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

摘要：

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

关键词：有限状态机、Statechart、形式化方法

所属期刊栏目：19

分类号：TP31(计算技术、计算机技术)

资助基金：广西教委跨世界人才基金

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页码：12-17