基于领域规则的需求模型检验

摘要：

为了确保准确地获取系统需求,文章提出了一种基于领域规则的模型检验方法.该方法对施加于业务上的约束和推理规则用SWRL和图形化两种形式进行建模,有利于对需求模型的推理检验和领域内业务规则的表达;利用领域本体和领域规则构建需求模型检验框架,使得需求分析员能够在领域本体的引导和领域规则的约束下建立应用需求模型,保证获取到的需求既能满足业务需要又不违反领域知识.

关键词： 领域知识 领域规则 模型检验 需求模型 推理规则 图形化建模

作者: 朱卫星 杨莹莹 王智学

作者单位: 解放军理工大学指挥自动化学院

会议类型: 国内会议

会议名称: 中国电子学会电子系统工程分会第十五届信息化理论学术研讨会

会议地点: 南京

会议语种:中文

页码: 272-275

在线出版日期: 2008-09-01（万方平台首次上网日期，不代表论文的发表时间）