基于EHA模型检验Statecharts

• 作者: 古天龙 赵岭忠 钱俊彦
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 模型检验 Statecharts EHA 操作语义
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 博士论文
• 页码范围: 19-21
• 页数: 3页
• 分类号: TP301
• 字数: 4108字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.03.007

摘要

模型检验是一种重要的形式化自动验证技术.Statecharts是一种用以规约复杂反应式系统行为的可视化语言.为了验证Statecharts模型是否满足所期望的性质,该文给出了一种基于EHA模型检验Statecharts的方法,首先把Statecharts转换为EHA,通过其操作语义得到Büchi自动机,然后与LTL公式所得的Büchi自动机相乘,最后检查该乘积自动机所能接受的语言是否为空,来判断是否满足所期望的性质.

作者信息

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