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

摘要：

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

关键词：属性图文法、模型检测、关联属性

所属期刊栏目：52

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金No.61202002，No.61170043；中央高校基本科研业务专项资助No.NS2012135。

在线出版日期：2016-07-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：15-18