基于Petri网的软件过程变更控制模型的研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-12页 |
| 第一章 绪论 | 第12-15页 |
| ·课题背景 | 第12页 |
| ·研究意义 | 第12-13页 |
| ·研究工作 | 第13-14页 |
| ·本文的组织 | 第14-15页 |
| 第二章 课题研究现状及理论基础 | 第15-26页 |
| ·软件过程变更控制的研究现状 | 第15-16页 |
| ·软件过程变更控制的研究现状 | 第15-16页 |
| ·存在的问题 | 第16页 |
| ·课题研究的理论基础 | 第16-25页 |
| ·软件过程 | 第16-17页 |
| ·变更 | 第17-21页 |
| ·变更控制 | 第21-23页 |
| ·Petri 网的基本概念 | 第23-25页 |
| ·本章小结 | 第25-26页 |
| 第三章 基于PETRI 网的变更控制模型 | 第26-38页 |
| ·变更控制模型元素 | 第26-30页 |
| ·变更实例 | 第27页 |
| ·变更实例状态 | 第27页 |
| ·变更活动 | 第27-28页 |
| ·变更控制流 | 第28-30页 |
| ·YAWL 语言 | 第30-32页 |
| ·变更控制建模 | 第32-37页 |
| ·变更控制结构 | 第32-35页 |
| ·变更控制网 | 第35-37页 |
| ·本章小结 | 第37-38页 |
| 第四章 变更控制模型的验证与执行 | 第38-56页 |
| ·变更控制模型的验证 | 第38-46页 |
| ·验证相关概念 | 第38-40页 |
| ·有界性与安全性分析 | 第40-41页 |
| ·活性分析 | 第41页 |
| ·模型验证方法 | 第41-42页 |
| ·模型验证 | 第42-46页 |
| ·变更控制模型的证实 | 第46-47页 |
| ·变更过程的柔性执行 | 第47-55页 |
| ·过程活动变更 | 第48-52页 |
| ·过程控制流变更 | 第52-55页 |
| ·组合变更 | 第55页 |
| ·本章小结 | 第55-56页 |
| 第五章 过程执行与变更的实现 | 第56-71页 |
| ·过程管理平台概述 | 第56-57页 |
| ·过程执行模块的分析 | 第57-59页 |
| ·正常流程执行的分析 | 第57-58页 |
| ·变更流程执行的分析 | 第58页 |
| ·过程执行模块的目标分析 | 第58-59页 |
| ·过程执行模块的设计 | 第59-62页 |
| ·功能模块设计 | 第59-60页 |
| ·数据库设计 | 第60-62页 |
| ·过程执行模块的实现 | 第62-66页 |
| ·关键技术和开发环境 | 第62-63页 |
| ·功能模块的实现 | 第63-66页 |
| ·过程管理平台的应用 | 第66-70页 |
| ·项目背景 | 第66页 |
| ·系统的应用 | 第66-70页 |
| ·本章小结 | 第70-71页 |
| 第六章 结束语 | 第71-72页 |
| 参考文献 | 第72-74页 |
| 致谢 | 第74-75页 |
| 攻读硕士学位期间发表的论文 | 第75页 |
