计算机工程 ›› 2008, Vol. 34 ›› Issue (14): 35-37.doi: 10.3969/j.issn.1000-3428.2008.14.013

• 软件技术与数据库 • 上一篇    下一篇

需求模型中目标的关系及其发现方法

吴 越,王智学,陈 彬   

  1. (解放军理工大学指挥自动化学院,南京 210018)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2008-07-20 发布日期:2008-07-20

Relationships of Goals Among Requirements Model and Their Detecting Techniques

WU Yue, WANG Zhi-xue, CHEN Bin   

  1. (Institute of Command Automation, PLA University of Science and Technology, Nanjing 210018)
  • Received:1900-01-01 Revised:1900-01-01 Online:2008-07-20 Published:2008-07-20

摘要: KAOS方法在分析系统目标时只考虑具有负面影响的冲突关系,没有提供支撑作用的判断方法。该文定义一组类似于Tropos中目标间的二元关系,扩展KAOS的目标模型语义框架,使目标间的支撑和抑制作用明朗化。构造目标关系的推理规则和推导算法,以发现模型中隐含的关系,进而分析目标模型的一致性和可行性,为需求可行性评估奠定了理论基础。

关键词: 需求工程, KAOS方法, 面向目标, 语义框架, 推理规则

Abstract: KAOS approach focuses on analyzing the negative impacts of goals, but it usually ignores positive ones. This paper defines a group of binary relations of goals similar to Tropos to extend semantic framework of KAOS models, which makes the positive and negative effects of goals explicit in the models. It constructs reasoning rules as well as propagation algorithm to detect underling relationships of goals. The introduction of new relationships helps ensuring consistency and feasibility in goal models and establishes a theoretical foundation for requirements feasibility evaluation.

Key words: requirements engineering, KAOS approach, goal-oriented, semantic framework, reasoning rules

中图分类号: