学位论文 > 优秀研究生学位论文题录展示
基于Petri网的软件过程建模技术的研究
作 者: 陈挺
导 师: 张育平
学 校: 南京航空航天大学
专 业: 计算机应用技术
关键词: RUP 统一过程 敏捷开发 Petri网 YAWL 过程建模 软件过程
分类号: TP311.52
类 型: 硕士论文
年 份: 2009年
下 载: 35次
引 用: 0次
阅 读: 论文下载
内容摘要
探索新的软件开发过程来提高软件生产率和质量一直是软件工程学研究的焦点,在当今信息化社会中,软件开发机构迫切地需要开发高质量软件的方法。软件开发是一项复杂的工作,需要好的人员、好的技术以及好的过程才能成功。但目前很多软件项目因为种种原因延期甚至失败。很多组织已经认识到,要想他们的软件项目获得成功,具有一个定义良好并且被很好文档化的开发过程是很重要的。本文首先介绍了软件过程的相关概念、技术以及软件过程研究的主要问题。接着研究了统一软件过程和敏捷开发思想,在总结敏捷方法与统一过程的基础上,提出了敏捷统一过程框架A-RUP,它是在RUP的基础上,利用敏捷开发的原则,针对中小型软件开发项目的实际情况对其进行裁剪得到的过程框架。接着分析了现有建模技术,比较了不同建模方法的特点,最后选择了基于Petri网的建模方法对A-RUP中工作流进行建模,用YAWL语言描述过程。为了用Petri网的验证理论对模型进行验证,本文给出了EWF网到Petri网的映射方法并简单讨论了模型的验证问题。最后本文在上述研究的基础上,设计并实现了一个基于A-RUP过程框架的软件过程管理平台原型系统——SPMS,该原型系统结合了YAWL技术为软件过程的自动执行提供了可靠的保证,同时保证整个软件开发过程是基于A-RUP过程框架的。
|
全文目录
摘要 4-5 Abstract 5-12 第一章 绪论 12-15 1.1 课题背景 12 1.2 研究意义 12-13 1.3 本文的主要工作 13-14 1.4 本文的组织 14-15 第二章 课题研究现状及理论基础 15-26 2.1 软件能力成熟度模型CMM 15-16 2.2 RUP 统一过程 16-20 2.2.1 RUP 概述 16-18 2.2.2 RUP 结构 18-19 2.2.3 RUP 研究现状 19-20 2.3 敏捷开发 20-22 2.3.1 敏捷开发概述 20-21 2.3.2 敏捷开发典型代表 21 2.3.3 敏捷开发研究现状 21-22 2.4 RUP 与敏捷方法的比较 22-23 2.5 工作流建模 23-25 2.5.1 工作流建模概述 23-24 2.5.2 Petri 网简介 24-25 2.6 本章小结 25-26 第三章 A-RUP 过程模型 26-39 3.1 A-RUP 设计思想 26-30 3.1.1 A-RUP 核心思想 26-28 3.1.2 A-RUP 裁剪原则 28-29 3.1.2.1 核心原则 28-29 3.1.2.2 核心实践 29 3.1.3 A-RUP 裁剪方法 29-30 3.2 A-RUP 的设计 30-38 3.2.1 A-RUP 的规程 30-31 3.2.2 A-RUP 规程产生的制品 31-33 3.2.3 A-RUP 阶段演进 33-36 3.2.3.1 初始阶段 34 3.2.3.2 精化阶段 34-35 3.2.3.3 构建阶段 35-36 3.2.3.4 交付阶段 36 3.2.4 A-RUP 迭代计划 36-37 3.2.5 A-RUP 角色设计 37-38 3.2.6 A-RUP 规划规程内部结构 38 3.3 本章小结 38-39 第四章 基于Petri 网的A-RUP 工作流建模 39-49 4.1 A-RUP 工作流模型元素 39-41 4.1.1 A-RUP 制品 39-40 4.1.2 A-RUP 制品状态 40 4.1.3 A-RUP 活动 40 4.1.4 A-RUP 过程控制流 40-41 4.2 A-RUP 工作流建模 41-44 4.2.1 YAWL 41-43 4.2.2 一个简单的例子 43-44 4.3 EWF 网到Petri 网的映射 44-46 4.4 A-RUP 工作流模型的验证 46-48 4.4.1 验证的概念 47 4.4.2 验证算法 47-48 4.5 本章小结 48-49 第五章 基于A-RUP 框架的软件过程管理平台原型系统 49-60 5.1 系统总体设计 49-51 5.1.1 系统概述 49-50 5.1.2 系统设计目标 50 5.1.3 功能模块的设计 50-51 5.2 开发环境及系统架构 51-52 5.2.1 实现技术及开发环境 51-52 5.2.2 系统架构 52 5.3 系统的实现 52-55 5.3.1 过程管理模块 53-54 5.3.1.1 过程定义模块 53 5.3.1.2 过程模型转换模块 53 5.3.1.3 验证模块 53-54 5.3.1.4 过程执行模块 54 5.3.2 项目管理模块 54 5.3.2.1 信息录入模块 54 5.3.2.2 A-RUP 修改模块 54 5.3.3 其他模块 54-55 5.3.3.1 权限管理模块 54-55 5.3.3.2 版本控制模块 55 5.4 过程管理平台的应用 55-59 5.4.1 项目背景 55 5.4.2 系统的应用 55-59 5.5 本章小结 59-60 第六章 结束语 60-61 参考文献 61-64 致谢 64-65 在学期间的研究成果及发表的学术论文 65
|
相似论文
- 移动计算环境下检查点技术研究与Petri网建模,TP301.1
- 基于逻辑Petri网的Web服务组合建模与分析,TP393.09
- 基于Petri网的信息管理软件服务建模方法研究,TP311.52
- 物联网业务模型描述语言的研究与实现,TN929.5
- 工作流动态变更处理技术,TP311.52
- 基于CMMI3级的软件外包过程管理模型及其实例研究,TP311.52
- 面向可穿戴生理检测的无线传感器网络QoS路由研究,TP212.9
- 基于jBPM的防空指控流程管理系统研究,TP311.52
- 基于着色Petri网的工作流引擎研究,TP311.52
- 基于.NET的企业网站数据库的设计与应用,TP311.52
- 基于软件仓库的软件过程挖掘的研究,TP311.52
- 基于Petri网建模的作业车间调度智能算法研究,TP18
- 基于企业资源平台的集成模式研究及实现,TP311.52
- RFID复杂事件处理及形成世系追溯研究,TP391.44
- 基于Petri网的情境感知服务逻辑建模研究,TP301.1
- 基于广义随机着色Petri网的C~3I系统建模与仿真技术研究,N945.12
- A公司网上基金交易系统的质量管理研究,TP311.52
- 卫星对地观测需求分析方法及其应用研究,V474.26
- 基于混杂Petri网的城市道路交通网络模型研究及应用,U491.112
- 基于Petri网的弹炮协同防空流程优化研究,E917
- 基于TCPN的Web服务组合时间验证的研究,TP393.09
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com
|