| 基于领域知识的模型检验方法 |
| |
| 引用本文： | 张爱辉,王智学,李宗勇.基于领域知识的模型检验方法[J].系统工程与电子技术,2008,30(8). |
| |
| 作者姓名： | 张爱辉 王智学 李宗勇 |
| |
| 作者单位： | 解放军理工大学指挥自动化学院,江苏,南京,210007 |
| |
| 基金项目： | 国防科技预研项目，解放军总装备部预研项目 |
| |
| 摘 要： | 提出了一种基于领域知识的模型检验方法.该方法主要是采用本体论方法,将业务领域内的潜规则表示成领域知识,构成领域规则库,对领域规则采用图形化表示与使用SWRL描述相结合的方式,形成了对规则知识的内、外部表示,为领域知识的直观显示和有效推理提供基础.领域规则形成的规则库为模型检验提供了依据和复用基础,确保用户构建的应用模型满足业务领域需求.
|
| 关 键 词： | 模型检验 规则库 领域知识 潜规则 本体 |
Domain knowledge based model checking |
| |
| ZHANG Ai-hui,WANG Zhi-xue,LI Zong-yong.Domain knowledge based model checking[J].System Engineering and Electronics,2008,30(8). |
| |
| Authors: | ZHANG Ai-hui WANG Zhi-xue LI Zong-yong |
| |
| Abstract: | |
| |
| Keywords: | model checking rule base domain knowledge latent business rule ontology |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
