计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2007年
1期
21-25
,共5页
描述逻辑%特征模型%一致性%RACER
描述邏輯%特徵模型%一緻性%RACER
묘술라집%특정모형%일치성%RACER
由于特征模型缺乏严格语义基础,难以对模型进行一致性推理,无法保证模型的一致性,进而影响最终软件产品的质量.本文讨论了如何使用描述逻辑对特征模型进行形式化,给出了将特征模型转化为描述逻辑ALCQI知识库的算法,通过验证转化后的知识库的一致性得到所对应特征模型的一致性.并利用描述逻辑的推理机RACER对转换得到的知识库进行推理,自动完成特征模型的一致性检查,为特征模型的一致性检验提供一种方法,实践证明这种方法具有可靠性和高效性.
由于特徵模型缺乏嚴格語義基礎,難以對模型進行一緻性推理,無法保證模型的一緻性,進而影響最終軟件產品的質量.本文討論瞭如何使用描述邏輯對特徵模型進行形式化,給齣瞭將特徵模型轉化為描述邏輯ALCQI知識庫的算法,通過驗證轉化後的知識庫的一緻性得到所對應特徵模型的一緻性.併利用描述邏輯的推理機RACER對轉換得到的知識庫進行推理,自動完成特徵模型的一緻性檢查,為特徵模型的一緻性檢驗提供一種方法,實踐證明這種方法具有可靠性和高效性.
유우특정모형결핍엄격어의기출,난이대모형진행일치성추리,무법보증모형적일치성,진이영향최종연건산품적질량.본문토론료여하사용묘술라집대특정모형진행형식화,급출료장특정모형전화위묘술라집ALCQI지식고적산법,통과험증전화후적지식고적일치성득도소대응특정모형적일치성.병이용묘술라집적추리궤RACER대전환득도적지식고진행추리,자동완성특정모형적일치성검사,위특정모형적일치성검험제공일충방법,실천증명저충방법구유가고성화고효성.