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

摘要：

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

关键词： 需求工程 系统模型 语义框架 推理规则

作者: 吴越 王智学 陈彬

作者单位: 解放军理工大学指挥自动化学院 江苏南京 210007

会议类型: 国内会议

会议名称: 江苏省系统工程学会第十届学术年会

会议地点: 南通

会议语种:中文

页码: 709-716

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