摘要
冲突是研究模型重构中的一个重要问题,多数研究将该问题的重点放在冲突检测上,通过对已知冲突的分析,找出冲突消解的手工实现方式。为实现模型重构的自动过程而寻找自动消解冲突的方法是主要研究内容。根据冲突发生的条件将冲突分为3种类型:同一规则的并行使用产生的冲突、对称冲突、非对称冲突。该方法建立在手工分析这3类重构冲突消解的基础上,将重构规则预设为一个规则矩阵,对图转换系统中出现的重构规则进行扫描。扫描结果对照规则矩阵,判断冲突是同一规则还是不同规则的并行使用所产生;分别对这两种情况下的冲突所操作的对象进行分析,根据已有手工消解方法有针对性地进行消解操作。这一算法可以初步实现并行执行的3类冲突的自动消解。
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. This 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 are caused by the parallel application of refactoring rules.
出处
《计算机科学》
CSCD
北大核心
2010年第7期141-143,173,共4页
Computer Science
基金
河海大学自然科学基金项目(理科类)(2008432311)
国家科技支撑计划(2008BA29B03)资助
关键词
模型重构
关键对
冲突
冲突消解
算法
Model refactoring,Critical pairs,Conflict, Conflict resolution, Algorithm
