摘要： 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

中图分类号: 

• TP311