计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2010年
7期
141-143,173
,共4页
陈军冰%王志坚%陈波%钱思
陳軍冰%王誌堅%陳波%錢思
진군빙%왕지견%진파%전사
模型重构%关键对%冲突%冲突消解%算法
模型重構%關鍵對%遲突%遲突消解%算法
모형중구%관건대%충돌%충돌소해%산법
冲突是研究模型重构中的一个重要问题,多数研究将该问题的重点放在冲突检测上,通过对已知冲突的分析,找出冲突消解的手工实现方式.为实现模型重构的自动过程而寻找自动消解冲突的方法是主要研究内容.根据冲突发生的条件将冲突分为3种类型:同一规则的并行使用产生的冲突、对称冲突、非对称冲突.该方法建立在手工分析这3类重构冲突消解的基础上,将重构规则预设为一个规则矩阵,对图转换系统中出现的重构规则进行扫描.扫描结果对照规则矩阵,判断冲突是同一规则还是不同规则的并行使用所产生;分别对这两种情况下的冲突所操作的对象进行分析,根据已有手工消解方法有针对性地进行消解操作.这一算法可以初步实现并行执行的3类冲突的自动消解.
遲突是研究模型重構中的一箇重要問題,多數研究將該問題的重點放在遲突檢測上,通過對已知遲突的分析,找齣遲突消解的手工實現方式.為實現模型重構的自動過程而尋找自動消解遲突的方法是主要研究內容.根據遲突髮生的條件將遲突分為3種類型:同一規則的併行使用產生的遲突、對稱遲突、非對稱遲突.該方法建立在手工分析這3類重構遲突消解的基礎上,將重構規則預設為一箇規則矩陣,對圖轉換繫統中齣現的重構規則進行掃描.掃描結果對照規則矩陣,判斷遲突是同一規則還是不同規則的併行使用所產生;分彆對這兩種情況下的遲突所操作的對象進行分析,根據已有手工消解方法有針對性地進行消解操作.這一算法可以初步實現併行執行的3類遲突的自動消解.
충돌시연구모형중구중적일개중요문제,다수연구장해문제적중점방재충돌검측상,통과대이지충돌적분석,조출충돌소해적수공실현방식.위실현모형중구적자동과정이심조자동소해충돌적방법시주요연구내용.근거충돌발생적조건장충돌분위3충류형:동일규칙적병행사용산생적충돌、대칭충돌、비대칭충돌.해방법건립재수공분석저3류중구충돌소해적기출상,장중구규칙예설위일개규칙구진,대도전환계통중출현적중구규칙진행소묘.소묘결과대조규칙구진,판단충돌시동일규칙환시불동규칙적병행사용소산생;분별대저량충정황하적충돌소조작적대상진행분석,근거이유수공소해방법유침대성지진행소해조작.저일산법가이초보실현병행집행적3류충돌적자동소해.
