计算机工程 ›› 2010, Vol. 36 ›› Issue (20): 40-42.doi: 10.3969/j.issn.1000-3428.2010.20.014

• 软件技术与数据库 • 上一篇    下一篇

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

陈军冰1,2,王志坚1   

  1. (1. 河海大学计算机及信息工程学院,南京 210098;2. 河海大学科学研究院,南京 210098)
  • 出版日期:2010-10-20 发布日期:2010-10-18
  • 作者简介:陈军冰(1969-),男,副研究员、在职博士研究生,主研方向:软件重构,软件工程;王志坚,博士、教授、博士生导师
  • 基金项目:
    国家科技支撑计划基金资助项目(2008BA29B03);河海大学自然科学基金资助项目(理科类)(2008432311);

Model Reconstruction Conflict Detection Method Based on Graph Transformation

CHEN Jun-bing1,2, WANG Zhi-jian1   

  1. (1. Computer & Information Engineering College, Hohai University, Nanjing 210098, China;2. Research Academy of Hohai University, Nanjing 210098, China)
  • Online:2010-10-20 Published:2010-10-18

摘要: 根据冲突分类规则,对非删除规则产生的关键对的计算进行优化,以避免计算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

中图分类号: