基于LTS的Statecharts操作语义研究

• 作者: 赵岭忠 钱俊彦
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Statecharts 操作语义 标签变迁系统
• 年，卷（期）: 2006,（22）
• 所属期刊栏目: 博士论文
• 页码范围: 43-45
• 页数: 3页
• 分类号: TP301
• 字数: 3230字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.22.015

摘要

Statecharts是一种用于复杂反应式系统行为的可视化规格语言.该文提出了一种基于标签变迁系统(LTS)的Statecharts操作语义描述方法,介绍了Statecharts及其项语法和一步语义,并基于进程代数描述Statecharts的并发行为,使用结构化的操作语义SOS规则描述Statecharts的组合语义,从而得到相应的LTS.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱俊彦	桂林电子工业学院计算机系	86	238	9.0	10.0
2	赵岭忠	桂林电子工业学院计算机系	64	229	8.0	11.0