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

• 作者: 古天龙 庞健雄 蔡国永 钱俊彦
• 来源期刊: 桂林电子工业学院学报
• 学科: 工学
• 关键词: 有限状态机 Statechart 形式化方法
• 年，卷（期）: 1999,（3）
• 所属期刊栏目: 学术论文
• 页码范围: 12-17
• 分类号: TP31
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.1999.03.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙		207	1546	18.0	30.0
2	蔡国永		98	400	12.0	15.0
3	钱俊彦		86	238	9.0	10.0
4	庞健雄		4	19	2.0	4.0