10.3778/j.issn.1002-8331.1407-0311
新型属性图文法反应式规约验证方法
属性图文法广泛应用在软件设计阶段建模和分析阶段。命题式时序逻辑(propositional temporal logic)无法直接表达建模实体包含随时间演化的关联属性反应式规约,提出一种可支持通用图文法转换系统中相应规约的验证方法,通过引入标记节点及属性,将包含相应关联属性的规约公式等价转换为命题式时序逻辑,从而可以间接支持该类型规约的验证。以流行的对象式属性图文法模型检测工具GROOVE为平台,结合启发案例,验证了所提出方法的有效性。
属性图文法、模型检测、关联属性
52
TP311.5(计算技术、计算机技术)
国家自然科学基金No.61202002,No.61170043;中央高校基本科研业务专项资助No.NS2012135。
2016-07-15(万方平台首次上网日期,不代表论文的发表时间)
共4页
15-18