关键词: 模型重构，关键对，冲突，冲突消解，算法

Abstract: Conflict resolution is a key problem in research of model refactoring,while the majority of researchers focus on conflicts detection. Conflict resolution is usually performed manually after being analyzed known conflicts. Three categories of conflicts could be resolved which include conflict of parallel applications of the same rule, symmetric conflict and asymmetric conflict. This paper concentrated on automating conflicts resolution so as to realize the automatic model refactoring. hhis method provides an integrated algorithm based on manual analysis of three categories of conflicts. The basic automatic resolution algorithm within refactoring according to the cause of the conflicts (the application of either the same rule or the different ones) , divides the conflicts and then resolves them correspondingly. This algorithm could preliminarily realize the automatic resolution of conflicts mentioned which arc caused by the parallel application of refactoring rules.

Key words: Model refactoring, Critical pairs, Conflict, Conflict resolution, Algorithm