...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Software Quality Journal >KBRE: a framework for knowledge-based requirements engineering
【24h】

KBRE: a framework for knowledge-based requirements engineering

机译：KBRE：基于知识的需求工程框架

获取原文
获取原文并翻译 | 示例
   

获取外文期刊封面封底 >>

       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Detecting inconsistencies is a critical part of requirements engineering (RE) and has been a topic of interest for several decades. Domain knowledge and semantics of requirements not only play important roles in elaborating requirements but are also a crucial way to detect conflicts among them. In this paper, we present a novel knowledge-based RE framework (KBRE) in which domain knowledge and semantics of requirements are central to elaboration, structuring, and management of captured requirements. Moreover, we also show how they facilitate the identification of requirements inconsistencies and other-related problems. In our KBRE model, description logic (DL) is used as the fundamental logical system for requirements analysis and reasoning. In addition, the application of DL in the form of Manchester OWL Syntax brings simplicity to the for-malization of requirements while preserving sufficient expressive power. A tool has been developed and applied to an industrial use case to validate our approach.
机译：检测不一致是需求工程（RE）的关键部分，并且几十年来一直是人们关注的话题。需求的领域知识和语义不仅在制定需求中扮演重要角色，而且还是检测需求之间冲突的关键方法。在本文中，我们提出了一个新颖的基于知识的RE框架（KBRE），其中需求的领域知识和语义对于所捕获需求的详细说明，结构化和管理至关重要。此外，我们还展示了它们如何促进识别需求不一致和其他相关问题。在我们的KBRE模型中，描述逻辑（DL）被用作需求分析和推理的基本逻辑系统。另外，以曼彻斯特OWL语法形式的DL应用为简化要求的形式化提供了便利，同时又保留了足够的表达能力。已经开发了一种工具并将其应用于工业用例以验证我们的方法。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号