| 摘要 | 第1-5页 |
| ABSTRACT | 第5-12页 |
| 图表目录 | 第12-15页 |
| 1 绪论 | 第15-23页 |
| ·研究背景 | 第15-17页 |
| ·研究问题和目标 | 第17-19页 |
| ·研究意义 | 第19-20页 |
| ·论文研究内容 | 第20-21页 |
| ·论文组织结构 | 第21-23页 |
| 2 研究现状综述 | 第23-35页 |
| ·非功能需求建模与表示方法 | 第23-24页 |
| ·非功能需求框架 | 第24-27页 |
| ·非功能需求框架的过程模型 | 第24页 |
| ·非功能需求知识库组件 | 第24-25页 |
| ·柔目标依存图 | 第25-27页 |
| ·需求交互 | 第27-29页 |
| ·功能需求交互 | 第27-28页 |
| ·非功能需求交互 | 第28-29页 |
| ·本体论和本体建模 | 第29-30页 |
| ·本体的概念及其分类 | 第29页 |
| ·本体描述语言 | 第29页 |
| ·本体的设计原则和方法 | 第29-30页 |
| ·本体建模工具 | 第30页 |
| ·描述逻辑 | 第30-32页 |
| ·非功能需求的本体模型和知识表示 | 第32-35页 |
| ·非功能需求本体化研究 | 第32-33页 |
| ·非功能需求的知识表示方法研究 | 第33-35页 |
| 3 非功能需求框架的本体建模方法 | 第35-51页 |
| ·柔目标依存图的形式化描述 | 第35-37页 |
| ·非功能需求的形式化本体建模 | 第37-45页 |
| ·在语义表示方面的领域和范围 | 第37页 |
| ·重用已有的领域概念 | 第37-38页 |
| ·本体中的概念 | 第38-39页 |
| ·本体中的类层次结构 | 第39-40页 |
| ·本体中类的属性 | 第40-42页 |
| ·非功能需求本体的关系建模 | 第42-45页 |
| ·非功能需求本体的公理 | 第45-47页 |
| ·分析与评价 | 第47-50页 |
| ·非功能需求本体建模中关系设计模式的比较 | 第48-49页 |
| ·本文研究与已有非功能需求本体建模工作的比较 | 第49-50页 |
| ·本章小结 | 第50-51页 |
| 4 柔目标依存图的语法规则和一致性检验 | 第51-77页 |
| ·问题分析 | 第51-52页 |
| ·非功能需求的知识表示框架 | 第52-55页 |
| ·术语知识组件 | 第53页 |
| ·断言知识组件 | 第53-54页 |
| ·规则库 | 第54-55页 |
| ·规则语言 | 第55-57页 |
| ·语法结构 | 第55-56页 |
| ·规则语义的内置函数 | 第56-57页 |
| ·柔目标分解的一致性和语法规则 | 第57-64页 |
| ·柔目标分解的原子规则 | 第57-58页 |
| ·柔目标的分解的结构性 | 第58-60页 |
| ·柔目标的分解的逻辑单一性 | 第60-61页 |
| ·柔目标类别的相关性 | 第61-62页 |
| ·柔目标分解的语境相关性 | 第62-64页 |
| ·柔目标关联的一致性和语法规则 | 第64-69页 |
| ·柔目标关联的原子规则 | 第64-65页 |
| ·反自反性 | 第65-67页 |
| ·无多重边 | 第67-68页 |
| ·无回路 | 第68-69页 |
| ·柔目标依存图实例模型的度量 | 第69-72页 |
| ·实验研究 | 第72-75页 |
| ·实验工具和数据 | 第72-73页 |
| ·实验过程和结果 | 第73-75页 |
| ·本章小结 | 第75-77页 |
| 5 柔目标依存图中非功能需求满足性评估和语义路径关联 | 第77-103页 |
| ·开放世界假设和封闭世界假设 | 第77-78页 |
| ·开放世界假设 | 第77页 |
| ·封闭世界假设 | 第77-78页 |
| ·非功能需求的可满足性评估 | 第78-83页 |
| ·可满足性评估过程 | 第78-79页 |
| ·柔目标层次化 | 第79-80页 |
| ·柔目标和依存的可满足性标识 | 第80页 |
| ·柔目标依存的满足性影响评估 | 第80-82页 |
| ·柔目标可满足性标签传递 | 第82-83页 |
| ·柔目标满足性评估的语义规则和自动化推理 | 第83-89页 |
| ·柔目标分解依存影响的语义表示和推理规则 | 第83-85页 |
| ·柔目标关联依存影响的语义表示和推理规则 | 第85-87页 |
| ·柔目标可满足性标签传递的语义表示和推理规则 | 第87-89页 |
| ·非功能需求的隐式依存和关联规则 | 第89-92页 |
| ·非功能需求隐式依存的关联规则 | 第89-90页 |
| ·关联规则的语义表示和推理 | 第90-92页 |
| ·非功能需求的语义路径关联和相容与失配 | 第92-97页 |
| ·非功能需求的相容与失配 | 第92页 |
| ·非功能需求的语义路径关联 | 第92-95页 |
| ·非功能需求失配的语义表示 | 第95-97页 |
| ·非功能需求失配的检测规则 | 第97页 |
| ·实验案例研究 | 第97-100页 |
| ·实验工具和数据 | 第97-98页 |
| ·实验案例研究过程和结果 | 第98-100页 |
| ·分析与评价 | 第100-102页 |
| ·与相关研究工作的比较 | 第100-101页 |
| ·本文研究的局限性 | 第101-102页 |
| ·本章小结 | 第102-103页 |
| 6 功能需求交互对非功能需求关联的影响与检测方法 | 第103-131页 |
| ·软件需求的依存和建模 | 第103-108页 |
| ·需求依存的类别 | 第103-104页 |
| ·需求依存的表示 | 第104-106页 |
| ·实例分析 | 第106-108页 |
| ·功能需求交互的机理分析 | 第108-112页 |
| ·功能需求交互的层次 | 第108-109页 |
| ·功能需求交互的模型 | 第109-110页 |
| ·功能需求交互的模式 | 第110-111页 |
| ·功能需求交互的场景 | 第111-112页 |
| ·需求交互的语义表示和检测规则 | 第112-121页 |
| ·行为需求的本体模型和语义表示 | 第112-114页 |
| ·功能需求交互的语义建模和表示 | 第114-117页 |
| ·功能需求交互的语义规则 | 第117-121页 |
| ·功能需求交互与非功能需求的隐式关联 | 第121-123页 |
| ·隐式关联语义表示 | 第121-122页 |
| ·隐式关联的推理规则 | 第122-123页 |
| ·案例研究 | 第123-128页 |
| ·案例系统简介 | 第123页 |
| ·案例研究过程与结果 | 第123-128页 |
| ·分析和评价 | 第128-129页 |
| ·对比分析 | 第128-129页 |
| ·局限性 | 第129页 |
| ·本章小结 | 第129-131页 |
| 7 总结和展望 | 第131-133页 |
| ·研究工作总结 | 第131-132页 |
| ·进一步研究展望 | 第132-133页 |
| 致谢 | 第133-135页 |
| 参考文献 | 第135-149页 |
| 附录 | 第149-150页 |
| A. 攻读博士学位期间发表的学术论文 | 第149-150页 |
| B. 攻读博士学位期间参加的科研项目 | 第150页 |