论文部分内容阅读
冲突是研究模型重构中的一个重要问题，多数研究将该问题的重点放在冲突检测上，通过对已知冲突的分析，找出冲突消解的手工实现方式。为实现模型重构的自动过程而寻找自动消解冲突的方法是主要研究内容。根据冲突发生的条件将冲突分为3种类型：同一规则的并行使用产生的冲突、对称冲突、非对称冲突。该方法建立在手工分析这3类重构冲突消解的基础上，将重构规则预设为一个规则矩阵，对图转换系统中出现的重构规则进行扫描。扫描结果对照规则矩阵，判断冲突是同一规则还是不同规则的并行使用所产生；分别对这两种情况下的冲突所操作的对象进行分析，