基于i～*和AlbertⅡ的需求建模框架研究
| 图表清单 | 第1-10页 |
| 第一章 绪论 | 第10-19页 |
| 1．1 概述 | 第10页 |
| 1．2 需求分析与建模技术评述 | 第10-17页 |
| 1．2．1 结构化需求分析技术 | 第10-11页 |
| 1．2．2 面向对象需求分析技术 | 第11-13页 |
| 1．2．3 基于场景的需求分析技术 | 第13-14页 |
| 1．2．4 面向目标的需求分析技术 | 第14-15页 |
| 1．2．5 基于形式化方法的需求分析技术 | 第15-17页 |
| 1．3 本文的研究内容 | 第17-18页 |
| 1．4 论文内容组织 | 第18页 |
| 1．5 本章小结 | 第18-19页 |
| 第二章 i~*框架 | 第19-26页 |
| 2．1 概述 | 第19-20页 |
| 2．2 策略原理模型（SR） | 第20-24页 |
| 2．2．1 i~*结点 | 第20-21页 |
| 2．2．2 i~*链 | 第21-23页 |
| 2．2．3 行为者间的依赖关系 | 第23-24页 |
| 2．2．4 例程 | 第24页 |
| 2．3 策略依赖模型（SD） | 第24页 |
| 2．4 本章小结 | 第24-26页 |
| 第三章 ALBERTⅡ语言 | 第26-39页 |
| 3．1 概述 | 第26-28页 |
| 3．1．1 AlbertⅡ语言的特点 | 第26-27页 |
| 3．1．2 抽象语法 | 第27-28页 |
| 3．2 基于AlbertⅡ语言的需求规约说明 | 第28-29页 |
| 3．2．1 需求规约说明模型 | 第28页 |
| 3．2．2 需求规约说明组成 | 第28-29页 |
| 3．3 抽象数据类型及其操作的定义 | 第29-31页 |
| 3．3．1 预定义的数据类型及其操作定义 | 第29页 |
| 3．3．2 用户定义的数据类型及其操作定义 | 第29-30页 |
| 3．3．3 表达式 | 第30-31页 |
| 3．4 社会定义 | 第31-32页 |
| 3．5 Agent定义 | 第32-38页 |
| 3．5．1 声明 | 第32-34页 |
| 3．5．2 约束 | 第34-38页 |
| 3．6 本章小结 | 第38-39页 |
| 第四章 需求建模框架 | 第39-49页 |
| 4．1 组织需求建模的意义 | 第39-40页 |
| 4．2 需求建模框架 | 第40-48页 |
| 4．2．1 框架简介 | 第40页 |
| 4．2．2 建模语言的比较 | 第40-42页 |
| 4．2．3 建模语言结合的好处 | 第42-43页 |
| 4．2．4 建模语言中表示实体的概念 | 第43-44页 |
| 4．2．5 组织需求到系统功能需求 | 第44-45页 |
| 4．2．6 组织需求到系统非功能需求 | 第45-48页 |
| 4．2．6．1 非功能需求的特点 | 第46-47页 |
| 4．2．6．2 非功能需求表示框架 | 第47-48页 |
| 4．3 本章小结 | 第48-49页 |
| 第五章 实例研究—银行转帐系统 | 第49-63页 |
| 5．1 i~*模型 | 第49-51页 |
| 5．2 AlbertⅡ规约说明 | 第51-61页 |
| 5．2．1 银行网上转帐系统的基本结构 | 第51-53页 |
| 5．2．2 系统功能需求规约说明 | 第53-55页 |
| 5．2．2．1 数据类型和操作 | 第53页 |
| 5．2．2．2 社会的定义 | 第53页 |
| 5．2．2．3 银行信息系统Agent的定义 | 第53-55页 |
| 5．2．2．4 客户Agent的定义 | 第55页 |
| 5．2．3 系统安全性需求规约说明 | 第55-61页 |
| 5．2．3．1 安全性目标精化过程 | 第56-57页 |
| 5．2．3．2 安全性目标操作过程 | 第57-61页 |
| 5．3 本章小结 | 第61-63页 |
| 第六章 结束语 | 第63-65页 |
| 参考文献 | 第65-69页 |
| 附录一： 攻读硕士学位期间参加的科研项目 | 第69页 |
| 附录二： 攻读硕士学位期间发表的学术论文 | 第69页 |
