基于构件的形式化需求分析方法研究与实现
| 1 引言 | 第1-9页 |
| 1．1 课题的来源和背景 | 第7-8页 |
| 1．2 课题的研究意义和发展前景 | 第8-9页 |
| 2 课题涉及的相关知识和技术 | 第9-26页 |
| 2．1 需求分析技术 | 第10-11页 |
| 2．1．1 需求分析的任务和目标 | 第10-11页 |
| 2．1．2 传统需求分析方法中亟待解决的问题 | 第11页 |
| 2．2 构件技术 | 第11-17页 |
| 2．2．1 构件技术概述 | 第12-13页 |
| 2．2．2 构件技术中的关键问题 | 第13-17页 |
| 2．3 形式化方法 | 第17-23页 |
| 2．3．1 形式化方法概述 | 第17-20页 |
| 2．3．2 形式化需求规格说明语言 | 第20-22页 |
| 2．3．3 形式化方法存在的问题及发展方向 | 第22-23页 |
| 2．4 专家系统 | 第23-26页 |
| 2．4．1 专家系统概述 | 第23-25页 |
| 2．4．2 专家系统的架构 | 第25-26页 |
| 3 现代制造企业管理信息系统研究 | 第26-39页 |
| 3．1 制造企业的类型划分及各自的特点 | 第26-28页 |
| 3．2 制造企业管理信息系统模型的发展 | 第28-31页 |
| 3．3 现代制造企业信息管理软件中的核心思想 | 第31-33页 |
| 3．4 现代制造企业信息管理中的关键技术 | 第33-35页 |
| 3．5 现代企业信息管理软件的发展趋势 | 第35-36页 |
| 3．6 现代企业管理信息系统的构成要素 | 第36-39页 |
| 3．6．1 现代企业信息管理中的数据类型 | 第36-38页 |
| 3．6．2 现代企业信息管理中的主要功能模块 | 第38-39页 |
| 4 基于构件的形式化需求分析理论模型 | 第39-43页 |
| 4．1 理论模型的提出 | 第39-41页 |
| 4．2 理论模型的框架 | 第41-42页 |
| 4．3 运用该体系进行需求分析的过程 | 第42-43页 |
| 5 基于构件的形式化需求分析平台的设计思路 | 第43-57页 |
| 5．1 用户需求的获取 | 第44-45页 |
| 5．1．1 企业的类型、现状及总体目标信息的获取 | 第44-45页 |
| 5．1．2 功能信息及数据类信息的获取 | 第45页 |
| 5．2 构件的分类和划分 | 第45-48页 |
| 5．2．1 虚拟企业的层次划分 | 第45-46页 |
| 5．2．2 虚拟企业的构件体系 | 第46-47页 |
| 5．2．3 构件划分粒度的控制 | 第47-48页 |
| 5．3 构件库的建立与管理 | 第48-50页 |
| 5．3．1 构件库的建立 | 第48页 |
| 5．3．2 构件语义网的建立 | 第48-49页 |
| 5．3．3 构件库的管理 | 第49-50页 |
| 5．4 专家知识库的建立与管理 | 第50-55页 |
| 5．4．1 专家系统体系结构的设计 | 第50-52页 |
| 5．4．2 知识推理方法 | 第52-54页 |
| 5．4．3 知识库的管理 | 第54-55页 |
| 5．5 需求模型的生成及演化 | 第55-57页 |
| 5．5．1 非形式化需求模型的生成 | 第55页 |
| 5．5．2 构件的形式化描述 | 第55-56页 |
| 5．5．3 需求模型的演化 | 第56-57页 |
| 6 基于构件的形式化需求分析平台的实现 | 第57-66页 |
| 6．1 工具的选择 | 第57-58页 |
| 6．1．1 数据库后台的实现工具 | 第57页 |
| 6．1．2 数据库前台的实现工具 | 第57-58页 |
| 6．2 数据库的设计 | 第58-60页 |
| 6．2．1 用户需求信息库的设计 | 第58页 |
| 6．2．2 构件库的设计 | 第58-59页 |
| 6．2．3 知识库的设计 | 第59-60页 |
| 6．3 系统的功能菜单层次 | 第60-61页 |
| 6．4 人机界面的设计 | 第61-62页 |
| 6．5 系统功能的实现 | 第62-66页 |
| 6．5．1 模块使用权限的设置 | 第62-63页 |
| 6．5．2 系统安全的实现 | 第63页 |
| 6．5．3 用户需求的获取和分析 | 第63页 |
| 6．5．4 知识库和构件库的管理 | 第63-65页 |
| 6．5．5 需求规格说明文档的生成 | 第65-66页 |
| 7 结束语 | 第66-68页 |
| 7．1 总结 | 第66-67页 |
| 7．2 课题的后续研究目标 | 第67-68页 |
| 致谢 | 第68页 |
| 主要参考文献 | 第68-70页 |
| 附录 | 第70-76页 |
