基于Petri网的软件过程变更控制模型的研究

论文摘要

变更控制作为软件项目管理中不可缺少的一部分,对软件过程的执行起着决定性的作用,不合理或失控的变更会严重阻碍组织完成既定的软件目标,甚至会直接导致软件项目的失败。完善的变更管理系统可以辅助软件过程更好的执行,持续提高组织的软件过程能力。本文首先对变更控制的相关理论进行研究,分析了现有变更控制系统的不足并指出了过程执行中存在的一些问题。接着从基于Petri网的工作流网的角度对变更控制进行分析,讨论了变更控制的基本元素在工作流网上的映射,并给出了变更控制的YAWL语言模型。然后分析了YAWL模型的有界性、安全性及活性的研究方法,给出了对模型进行验证的几个算法,在此基础上对变更控制的网模型进行了验证与证实。接着研究了在变更控制下柔性软件过程的实现方法,给出了柔性过程执行流程的动态修改策略以及允许变更的前提条件和判断方法,利用模型正确性验证算法对发生变更的过程进行验证,将软件过程置于变更控制之下,实现了柔性软件过程的变更及执行自动化。在变更控制过程及软件过程执行模型中引入规则引擎,利用可维护的规则提高系统的灵活性和扩展性,为过程度量与评估提供接口,帮助组织进行过程改进。最后本文在B/S结构上基于上述研究设计并实现了变更控制下的软件过程执行模块,对今后的研究具有较好的借鉴意义。

论文目录

• 摘要
• ABSTRACT
• 第一章 绪论
• 1.1 课题背景
• 1.2 研究意义
• 1.3 研究工作
• 1.4 本文的组织
• 第二章 课题研究现状及理论基础
• 2.1 软件过程变更控制的研究现状
• 2.1.1 软件过程变更控制的研究现状
• 2.1.2 存在的问题
• 2.2 课题研究的理论基础
• 2.2.1 软件过程
• 2.2.2 变更
• 2.2.3 变更控制
• 2.2.4 Petri 网的基本概念
• 2.3 本章小结
• 第三章 基于PETRI 网的变更控制模型
• 3.1 变更控制模型元素
• 3.1.1 变更实例
• 3.1.2 变更实例状态
• 3.1.3 变更活动
• 3.1.4 变更控制流
• 3.2 YAWL 语言
• 3.3 变更控制建模
• 3.3.1 变更控制结构
• 3.3.2 变更控制网
• 3.4 本章小结
• 第四章 变更控制模型的验证与执行
• 4.1 变更控制模型的验证
• 4.1.1 验证相关概念
• 4.1.2 有界性与安全性分析
• 4.1.3 活性分析
• 4.1.4 模型验证方法
• 4.1.5 模型验证
• 4.2 变更控制模型的证实
• 4.3 变更过程的柔性执行
• 4.3.1 过程活动变更
• 4.3.2 过程控制流变更
• 4.3.3 组合变更
• 4.4 本章小结
• 第五章 过程执行与变更的实现
• 5.1 过程管理平台概述
• 5.2 过程执行模块的分析
• 5.2.1 正常流程执行的分析
• 5.2.2 变更流程执行的分析
• 5.2.3 过程执行模块的目标分析
• 5.3 过程执行模块的设计
• 5.3.1 功能模块设计
• 5.3.2 数据库设计
• 5.4 过程执行模块的实现
• 5.4.1 关键技术和开发环境
• 5.4.2 功能模块的实现
• 5.5 过程管理平台的应用
• 5.5.1 项目背景
• 5.5.2 系统的应用
• 5.6 本章小结
• 第六章 结束语
• 参考文献
• 致谢
• 攻读硕士学位期间发表的论文