论文部分内容阅读
本文对基于本体需求工程中的领域规则建模进行了研究。为了确保准确、无二义性地获取系统需求，基于本体的方法越来越多地应用在需求获取过程中。现有方法中多数本体仅是一个概念模型，尤其是引导需求获取的领域知识库中只包含领域本体而不包含领域规则，这可能导致最终的需求模型因为违反领域规则而与实际偏离。因此首先用描述逻辑形式化描述本体，然后对施加于业务上的约束和推理规则从语法、语义和图形化建模三方面进行建模，最后利用利用领域本体和领域规则构建需求模型检验框架，使得需求分析员能够在领域本体的引导和领域规则的约束下建立应用需求模型，保证获取到的需求既能满足业务需要又不违反领域知识。