南京理工大学学报（自然科学版）
南京理工大學學報（自然科學版）
남경리공대학학보（자연과학판）
JOURNAL OF NANJING UNIVERSITY OF SCIENCE AND TECHNOLOGY
2012年
6期
932-938
,共7页
王智学%蒋鑫%董庆超%付丰科
王智學%蔣鑫%董慶超%付豐科
왕지학%장흠%동경초%부봉과
规则建模%规则定义元模型%语义网规则语言%特定领域建模
規則建模%規則定義元模型%語義網規則語言%特定領域建模
규칙건모%규칙정의원모형%어의망규칙어언%특정영역건모
为了实现领域约束规则的可视化表示,检验需求模型与领域知识之间的一致性,该文提出一种领域规则建模及需求模型验证方法.在借鉴本体定义元模型和语义网规则语言(SWRL)基础上,定义了一种领域规则定义元模型.用该元模型扩展统一建模语言,使其可用于领域规则建模.给出了领域规则模型到SWRL描述的转换方法,使需求模型验证可通过形式化推理引擎自动完成.通过模型验证案例分析,说明了该方法的可用性.
為瞭實現領域約束規則的可視化錶示,檢驗需求模型與領域知識之間的一緻性,該文提齣一種領域規則建模及需求模型驗證方法.在藉鑒本體定義元模型和語義網規則語言(SWRL)基礎上,定義瞭一種領域規則定義元模型.用該元模型擴展統一建模語言,使其可用于領域規則建模.給齣瞭領域規則模型到SWRL描述的轉換方法,使需求模型驗證可通過形式化推理引擎自動完成.通過模型驗證案例分析,說明瞭該方法的可用性.
위료실현영역약속규칙적가시화표시,검험수구모형여영역지식지간적일치성,해문제출일충영역규칙건모급수구모형험증방법.재차감본체정의원모형화어의망규칙어언(SWRL)기출상,정의료일충영역규칙정의원모형.용해원모형확전통일건모어언,사기가용우영역규칙건모.급출료영역규칙모형도SWRL묘술적전환방법,사수구모형험증가통과형식화추리인경자동완성.통과모형험증안례분석,설명료해방법적가용성.
