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

关键词: 模型重构, 图转换, 关键对, 冲突检测

Abstract: According to the conflict classification, it can optimize the computation of the non-deletion rules. It avoids calculating the overlap of the two non-deleting rules. This paper discusses to the Graph Transformation System(GTS) with NAC, may calculate critical pairs, it provides a construction for critical pairs with NAC. It exits an essential critical pairs for every conflict reason, which can use the available smallest context expresses the conflict. Since the essential critical pairs are a subset of the critical pairs, the essential critical pairs can simplify the static conflict detection method.

Key words: model reconstruction, graph transformation, critical pair, conflict detection

中图分类号: 

• TP301.6