基于MAM网的软件过程工作流动态变化建模研究

摘要

软件过程管理的目的是最大限度地提高软件产品的质量和软件开发的生产率。由于软件开发过程是一个非常复杂并且难以量化、估算的过程,因此非常强调对过程的建模,力求通过对软件过程本身的形式化建模来实现对软件过程的控制以及度量。
　　 本文以Petri网为基本工具,结合工作流技术,研究软件过程建模。在实际软件开发过程中经常会出现诸如需求、人员流动、任务转移等变化,从工作流角度来看,这些变化可能会产生死锁、丢失实例、不一致性等问题,因此,在软件过程建模时应给予足够的重视。为了解决这些问题,文中首先定义了一个具有可容性的结构变化,这种变化在应用到工作流的过程中,不会造成任何结构性错误或行为不一致,此外,文中还提出了一种工作流节点变化算法,该算法可以用来计算工作流结构变化影响的最小区域,从而解决了软件过程工作流由于动态变化产生的问题。
　　 在本文中,另一个工作重点是在对Petri网进行扩展的基础上,提出一种软件过程工作流建模工具,该工具具有建模(Model)、分析(Analysis)和管理(Management)功能,因此叫做MAM网,它是基于对时间Pr／T网的拓展。文中重点介绍了MAM的定义,MAM网的图形符号表示,使用MAM网对软件过程工作流建模；并且对MAM网所建软件过程工作流模型进行分析,其中包括对过程冲突的分析、过程并发执行的分析、完成整个工程的最小人力需求分析等。MAM网支持整合的软件过程模型和组织环境,以统一的方式调用工作流节点变化算法,从而动态适应软件过程工作流建模,提高软件过程建模的效率。
　　 最后,把基于MAM网的软件过程工作流模型映射到XPDL,并实现了XPDL的对象化表示,以便后续工作真正实现软件过程工作流的半自动化或者自动化。

目录

文摘

英文文摘

第1章 绪论

1.1 论文研究的背景、目的和意义

1.2 国内外研究现状

1.2.1 Petri网的研究现状

1.2.2 工作流的研究现状

1.2.3 软件过程建模的研究现状

1.3 论文的主要工作和创新点

1.4 论文的结构安排

第2章 基于Petri网的工作流动态变化

2.1 Petri网

2.2 工作流网

2.3 工作流过程动态变化分析

2.3.1 工作流过程的兼容性标准

2.3.2 变化区域的兼容性分析

2.4 小结

第3章 软件过程与MAM网

3.1 软件过程

3.1.1 软件生命周期模型

3.1.2 软件过程建模

3.1.3 SPEM

3.2 软件过程管理

3.2.1 传统的软件过程管理

3.2.2 自动化软件过程管理

3.3 MAM网

3.3.1 MAM网的定义

3.3.2 图形符号和建模机制

3.3.3 基于MAM网的软件过程工作流动态变化

3.3.4 MAM网的分析

3.4 管理分析

3.4.1 基于时间Petri网的分析

3.4.2 Agent-time表分析

3.5 小结

第4章 MAM网到XPDL的映射

4.1 XML语言

4.1.1 XML概述

4.1.2 XMLSchema概述

4.2 XPDL规范

4.2.1 包(package)定义

4.2.2 工作流过程(workflowprocess)定义

4.2.3 活动节点(activity)定义

4.2.4 变迁(transition)信息定义

4.2.5 工作流参与者(participant)定义

4.2.6 相关数据(relevantdata)定义

4.2.7 应用程序(application)定义

4.3 MAM转化为XPDL的方法

4.4 MAM网中变迁转化为XPDL中的活动

4.4.1 基本XPDL元素的对象表示

4.4.2 具体XPDL元素的对象表示

4.5 MAM网中活动之间关系向XPDL的转化

4.6 MAM网向XPDL转化的实现

4.7 小结

第5章 结束语

5.1 工作总结

5.2 论文下一步工作

致谢

参考文献

攻读学位期间发表的学术论文及参与项目