计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
9期
24-27,37
,共5页
顾闯%刘彬%张星%田书超%王桂起
顧闖%劉彬%張星%田書超%王桂起
고틈%류빈%장성%전서초%왕계기
装备保障仿真%概念模型%语义验证%本体%规则推理
裝備保障倣真%概唸模型%語義驗證%本體%規則推理
장비보장방진%개념모형%어의험증%본체%규칙추리
Equipment support simulation%Conceptual model%Semantic validation%Ontology%Rule reasoning
概念模型验证是保证概念模型正确、可信的重要手段.针对现有概念模型形式化验证方法复杂、繁琐,非形式化验证方法的主观性较强、可信性不高等问题,采用本体理论和语义网技术,提出了一种基于本体与规则推理的装备保障仿真概念模型语义验证方法.该方法的思路是:首先将UML描述的概念模型转化为本体描述语言OWL描述的概念模型;然后根据领域知识构建验证规则,并运用语义网规则描述语言SWRL描述验证规则;最后将模型和规则转换为Jess规则引擎识别的数据格式,输入到Jess规则引擎中进行模型与规则的语义推理,检查概念模型是否符合验证规则.实例表明,该方法使用验证规则和语义推理机替代领域专家在计算机上自动对概念模型的语义内容进行验证,提高了验证效率,减少了专家验证的主观性和不确定性,降低了形式化验证方法的复杂性.
概唸模型驗證是保證概唸模型正確、可信的重要手段.針對現有概唸模型形式化驗證方法複雜、繁瑣,非形式化驗證方法的主觀性較彊、可信性不高等問題,採用本體理論和語義網技術,提齣瞭一種基于本體與規則推理的裝備保障倣真概唸模型語義驗證方法.該方法的思路是:首先將UML描述的概唸模型轉化為本體描述語言OWL描述的概唸模型;然後根據領域知識構建驗證規則,併運用語義網規則描述語言SWRL描述驗證規則;最後將模型和規則轉換為Jess規則引擎識彆的數據格式,輸入到Jess規則引擎中進行模型與規則的語義推理,檢查概唸模型是否符閤驗證規則.實例錶明,該方法使用驗證規則和語義推理機替代領域專傢在計算機上自動對概唸模型的語義內容進行驗證,提高瞭驗證效率,減少瞭專傢驗證的主觀性和不確定性,降低瞭形式化驗證方法的複雜性.
개념모형험증시보증개념모형정학、가신적중요수단.침대현유개념모형형식화험증방법복잡、번쇄,비형식화험증방법적주관성교강、가신성불고등문제,채용본체이론화어의망기술,제출료일충기우본체여규칙추리적장비보장방진개념모형어의험증방법.해방법적사로시:수선장UML묘술적개념모형전화위본체묘술어언OWL묘술적개념모형;연후근거영역지식구건험증규칙,병운용어의망규칙묘술어언SWRL묘술험증규칙;최후장모형화규칙전환위Jess규칙인경식별적수거격식,수입도Jess규칙인경중진행모형여규칙적어의추리,검사개념모형시부부합험증규칙.실례표명,해방법사용험증규칙화어의추리궤체대영역전가재계산궤상자동대개념모형적어의내용진행험증,제고료험증효솔,감소료전가험증적주관성화불학정성,강저료형식화험증방법적복잡성.