Statecharts语义问题的若干探讨

• 作者: 古天龙 蔡国永 钱俊彦
• 来源期刊: 桂林电子工业学院学报
• 学科: 工学
• 关键词: 有限状态机 Statecharts 语义
• 年，卷（期）: 2001,（1）
• 所属期刊栏目: 学术论文
• 页码范围: 39-42
• 页数: 4页
• 分类号: TP311.5
• 字数: 2664字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2001.01.009

摘要

Statecharts是一种用以规约复杂反应式系统行为的可视化语言 。由于该类系统的行为复杂性，定义其精确的语义是困难的。许多人在这方向上对其进行了 研究，但是仍有些模棱两可的地方。在本文将对Statecharts语言中什么是一步、迁移的多 个条件和动作、不确定性这些语义问题进行探讨。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子工业学院计算机系	207	1546	18.0	30.0
2	蔡国永	桂林电子工业学院计算机系	98	400	12.0	15.0
3	钱俊彦	桂林电子工业学院计算机系	86	238	9.0	10.0