新型属性图文法反应式规约验证方法

• 作者: 周宇 魏欧 黄延凯
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 属性图文法 模型检测 关联属性
• 年，卷（期）: 2016,（12）
• 所属期刊栏目: 理论与研发
• 页码范围: 15-18
• 页数: 4页
• 分类号: TP311.5
• 字数: 3751字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1407-0311

摘要

属性图文法广泛应用在软件设计阶段建模和分析阶段。命题式时序逻辑（propositional temporal logic）无法直接表达建模实体包含随时间演化的关联属性反应式规约，提出一种可支持通用图文法转换系统中相应规约的验证方法，通过引入标记节点及属性，将包含相应关联属性的规约公式等价转换为命题式时序逻辑，从而可以间接支持该类型规约的验证。以流行的对象式属性图文法模型检测工具GROOVE为平台，结合启发案例，验证了所提出方法的有效性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周宇	南京航空航天大学计算机科学与技术学院	18	70	4.0	8.0
2	黄延凯	南京航空航天大学计算机科学与技术学院	4	9	2.0	3.0
3	魏欧	南京航空航天大学计算机科学与技术学院	31	153	7.0	11.0