基于图转换的模型重构冲突检测方法

摘要：

根据冲突分类规则,对非删除规则产生的关键对的计算进行优化,以避免计算两2个非删除规则的交叠.探讨了对一一种个给定带否定应用条件(NACsNAC)的图转换系统(GTS)gts可直接计算出关键对的方法,并给出直接构建带NACNACs的的关键对的方式.针对每个冲突原因,存在一个有效关键对,可用最小上下文来表示冲突.有效关键对集合仅为关键对集合的子集.该方法因而可简化系统中冲突的汇合性分析,从而可简化静态冲突检测方法.

关键词：模型重构、图转换、关键对、冲突检测

所属期刊栏目：36

分类号：TP301.6(计算技术、计算机技术)

资助基金：国家科技支撑计划基金资助项目2008BA29B03;河海大学自然科学基金资助项目理科类2008432311

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

页数：共3页

页码：40-42