《2004年上海大学博士学位论文 12 面向Agent需求工程的建模与分析》

第一章绪论1

1.1 需求工程的研究背景与意义1

1.2 面向Agent需求工程4

1.3 主要的面向Agent软件工程方法6

1.4 面向Agent需求工程与非确定问题12

1.5 论文概要13

第二章非确定问题分析17

2.1 非确定问题及其表达17

2.2 非确定问题分类22

2.3 非确定问题的建模研究23

2.4 结论32

第三章FKAOS：一种非精确的需求分析模型33

3.1 目标的意义33

3.2 KAOS：面向目标的需求工程方法35

3.3 FKAOS：扩展KAOS方法建模非确定需求模型42

3.4 结论57

第四章实例分析（矿井险情监控系统）59

4.1 问题域描述60

4.2 非确定概念和关系61

4.3 结论73

第五章需求冲突与Agent优化问题75

5.1 冲突的识别与解决75

5.2 冲突问题的实例分析78

5.3 Agent的优化分析87

5.4 Agent优化实例分析99

5.5 结论105

第六章DESIRE：面向Agent需求分析模型107

6.1 基本设计框架108

6.2 DESIRE环境与XML脚本112

6.3 结论123

第七章实例分析二（会议调度系统应用）125

7.1 分析过程与分析策略125

7.2 实例分析131

7.3 结论142

第八章结论与进一步的研究工作143

参考文献147

附录XML的DTD文件157

致谢164