| 摘要 | 第1-3页 |
| Abstract | 第3-7页 |
| 引言 | 第7-10页 |
| 1 研究背景 | 第7-8页 |
| 2 研究内容 | 第8页 |
| 3 论文组织 | 第8-10页 |
| 第一章 软件形式化与自动化 | 第10-17页 |
| ·软件开发的形式化方法 | 第10-11页 |
| ·典型的形式化方法及其工具 | 第11-13页 |
| ·Z 方法 | 第11页 |
| ·VDM 方法 | 第11-12页 |
| ·RAISE 方法 | 第12页 |
| ·B 方法 | 第12-13页 |
| ·PAR 方法 | 第13-15页 |
| ·PAR 方法的组成 | 第13-14页 |
| ·PAR 方法开发步骤 | 第14-15页 |
| ·软件自动化理论 | 第15-17页 |
| 第二章 PAR 方法中关系数据库机制 | 第17-27页 |
| ·关系数据库概述 | 第17-19页 |
| ·关系模型 | 第17页 |
| ·关系数据库语言 | 第17-19页 |
| ·PAR 方法中关系数据库机制的形式化描述 | 第19-22页 |
| ·Apla 数据库操作的形式化描述 | 第19-22页 |
| ·APLA 数据库程序实例 | 第22-27页 |
| ·建立表和增加记录 | 第22-23页 |
| ·查询数据库并将查询表达式赋值给不同变量 | 第23-24页 |
| ·并、交、差、除操作 | 第24-25页 |
| ·建立视图并查询视图 | 第25-27页 |
| 第三章 构件化软件开发方法 | 第27-35页 |
| ·构件化软件开发相关技术 | 第27-30页 |
| ·软件复用和软件构件 | 第27-28页 |
| ·软件体系结构 | 第28-29页 |
| ·软件框架 | 第29-30页 |
| ·一种基于软件体系结构的构件模型 | 第30-33页 |
| ·构件模型 | 第30-31页 |
| ·构件间操作 | 第31页 |
| ·复合构件模型 | 第31-33页 |
| ·PAR 方法对构件化开发的支持 | 第33-35页 |
| ·PAR 方法在面向构件开发和基于构件开发过程中的应用 | 第33页 |
| ·PAR 方法对构件可靠性的保证 | 第33-35页 |
| 第四章 工作流技术 | 第35-41页 |
| ·工作流技术概述 | 第35-38页 |
| ·工作流和工作流管理系统 | 第35页 |
| ·工作流模型 | 第35-36页 |
| ·WfMC 工作流参考模型 | 第36-38页 |
| ·一种基于B/S 体系结构的工作流元模型 | 第38-41页 |
| ·工作流元模型设计 | 第38-40页 |
| ·工作流过程定义模型实例 | 第40-41页 |
| 第五章 工作流管理系统的设计与实现 | 第41-55页 |
| ·系统体系结构 | 第41-42页 |
| ·系统模块设计 | 第42-44页 |
| ·过程定义模块 | 第42-43页 |
| ·工作流执行服务模块 | 第43页 |
| ·工作流管理模块 | 第43-44页 |
| ·系统构件建模 | 第44-45页 |
| ·系统的实现 | 第45-55页 |
| ·系统构件的开发 | 第45-51页 |
| ·系统的组装实现 | 第51-55页 |
| 第六章 总结与展望 | 第55-57页 |
| ·工作总结 | 第55-56页 |
| ·进一步工作 | 第56-57页 |
| 参考文献 | 第57-60页 |
| 致谢 | 第60-61页 |