计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2013年
7期
2072-2076
,共5页
何文民%沈国华%黄志球%王进%范大娟
何文民%瀋國華%黃誌毬%王進%範大娟
하문민%침국화%황지구%왕진%범대연
本体%演化%一致性验证%本体特征模型的元模型%领域特征模型%产品特征模型%演化策略
本體%縯化%一緻性驗證%本體特徵模型的元模型%領域特徵模型%產品特徵模型%縯化策略
본체%연화%일치성험증%본체특정모형적원모형%영역특정모형%산품특정모형%연화책략
ontology%evolution%consistency verification%ontology and feature model's meta model%domain feature model%product feature model%evolution strategy
针对特征模型的演化导致特征间的冲突问题,从特征模型的演化方面进行研究,提出了一种基于本体的特征模型演化的一致性验证方法.首先采用本体理论方法对特征模型的演化进行分析和建模,建立本体的特征模型元模型；其次基于上述元模型,为网上购物系统实例建立相应的网上购物的领域特征模型,根据需求裁剪出产品特征模型；然后在EcLipse集成开发环境下,通过Jena推理机加载规则和产品特征模型进行一致性验证,当检测到冲突时,采用演化策略来消除冲突；最后通过实例研究说明了该方法的有效性.
針對特徵模型的縯化導緻特徵間的遲突問題,從特徵模型的縯化方麵進行研究,提齣瞭一種基于本體的特徵模型縯化的一緻性驗證方法.首先採用本體理論方法對特徵模型的縯化進行分析和建模,建立本體的特徵模型元模型；其次基于上述元模型,為網上購物繫統實例建立相應的網上購物的領域特徵模型,根據需求裁剪齣產品特徵模型；然後在EcLipse集成開髮環境下,通過Jena推理機加載規則和產品特徵模型進行一緻性驗證,噹檢測到遲突時,採用縯化策略來消除遲突；最後通過實例研究說明瞭該方法的有效性.
침대특정모형적연화도치특정간적충돌문제,종특정모형적연화방면진행연구,제출료일충기우본체적특정모형연화적일치성험증방법.수선채용본체이론방법대특정모형적연화진행분석화건모,건립본체적특정모형원모형；기차기우상술원모형,위망상구물계통실례건립상응적망상구물적영역특정모형,근거수구재전출산품특정모형；연후재EcLipse집성개발배경하,통과Jena추리궤가재규칙화산품특정모형진행일치성험증,당검측도충돌시,채용연화책략래소제충돌；최후통과실례연구설명료해방법적유효성.
