面向Agent需求工程建模方法的研究
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-9页 |
| 第一章 绪论 | 第9-18页 |
| 1 需求工程的研究背景和意义 | 第9-11页 |
| 2 面向对象需求工程 | 第11-13页 |
| 3 面向Agent需求工程 | 第13-15页 |
| 4 主要的面向Agent软件工程方法 | 第15-17页 |
| 5 论文概要 | 第17-18页 |
| 第二章 元模型研究 | 第18-27页 |
| 1 基本元模型的研究现状 | 第18-20页 |
| 2 元模型 | 第20-23页 |
| 3 多Agent的合作模型 | 第23-25页 |
| 4 小结 | 第25-27页 |
| 第三章 非功能性需求问题的研究 | 第27-35页 |
| 1 非功能性需求研究历史 | 第27页 |
| 2 非功能性需求研究现状 | 第27-30页 |
| 3 面向Agent非功能性需求描述方法 | 第30-34页 |
| 4 小结 | 第34-35页 |
| 第四章 非确定性需求问题的研究 | 第35-42页 |
| 1 非确定性需求问题 | 第35-36页 |
| 2 非确定性需求问题的分类 | 第36-37页 |
| 3 非确定性需求问题的分析和建模方法 | 第37-41页 |
| 4 小结 | 第41-42页 |
| 第五章 面向Agent需求工程语言表达 | 第42-57页 |
| 1 面向Agent需求建模 | 第42-47页 |
| ·面向Agent需求模型细化 | 第43-45页 |
| ·面向Agent需求建模描述 | 第45-47页 |
| 2 面向Agent需求模型自然语言描述 | 第47-52页 |
| 3 面向Agent需求模型形式语言描述 | 第52-56页 |
| 4 小结 | 第56-57页 |
| 第六章 面向Agent需求工程模型检测 | 第57-67页 |
| 1 模型检测发展背景与现状 | 第57-58页 |
| 2 模型检测方法 | 第58-61页 |
| ·CTL方法语义 | 第58-59页 |
| ·LTL方法语义 | 第59-60页 |
| ·CTL~*方法语义 | 第60页 |
| ·二值判定图(BDDs) | 第60-61页 |
| 3 基于NuSMV的模型检测 | 第61-66页 |
| 4 小结 | 第66-67页 |
| 第七章 结论与进一步的研究工作 | 第67-69页 |
| 参考文献 | 第69-75页 |
| 致谢 | 第75-76页 |
| 攻读学位期间发表的学术论文目录 | 第76-77页 |
