学位论文 > 优秀研究生学位论文题录展示
ArtiFlow管理器的设计与实现
作 者: 张大伟
导 师: 刘国华
学 校: 燕山大学
专 业: 计算机软件与理论
关键词: 业务流程管理 Artifact ArtiFlow模型 Petri网 生命周期可达性
分类号: TP311.52
类 型: 硕士论文
年 份: 2010年
下 载: 4次
引 用: 0次
阅 读: 论文下载
内容摘要
以数据为中心是业务流程管理领域中新的发展方向。业务流程中的业务数据称为Artifact。ArtiFlow是一种以Artifact为中心的业务流程逻辑模型。在面向Artifact业务流程管理问题的研究中,对ArtiFlow模型的管理是一个首要和关键的问题。ArtiFlow模型管理问题包括模型设计、检查与优化。同时,这也是设计与实现用于ArtiFlow模型管理软件的关键。本文在介绍业务流程管理的概念、Artifact与Artifact系统、ArtiFlow等基础知识之上,从以下四个方面对ArtiFlow模型管理问题进行了研究。首先,在模型设计问题的研究中,对ArtiFlow模型及其中基本元素进行了规范化描述,并提出了ArtiFlow模型设计方法与设计规则。根据关键Artifact生命周期过程中呈现的特征,总结出了串行与并发两种基本结构。其次,关于模型检查问题的研究,在语义检查方面,提出了一种基于Artifact属性划分来验证关键Artifact生命周期可达性的方法。另外,通过分析模型中服务元素包含的传输管道数目与类型,实现对模型的Artifact持久性与唯一存在性检查;在语法检查方面,提出了一种将模型转换为无向图,进而从判断其连通性的角度检查模型完整性的方法。再次,在模型优化问题研究方面,提出了一种基于服务事件链的优化分析方法,并设计出优化分析算法。另外,从模型应对未来流程需求变化的角度,提出了模型最优的标准,并给出了计算公式。最后,依据ArtiFlow模型管理问题三方面的研究成果,开发和实现了专用于ArtiFlow模型管理的软件——ArtiFlow管理器。然后,分别从模型设计、检查与优化分析方面对ArtiFlow管理器进行了测试,并给出了测试结果。
|
全文目录
摘要 5-6 Abstract 6-11 第1章 绪论 11-17 1.1 研究现状 11-13 1.2 研究内容 13-14 1.3 研究意义 14-15 1.4 组织结构 15-17 第2章 基础知识 17-27 2.1 引言 17 2.2 BPM 及传统工作流简介 17-19 2.3 Artifact 与Artifact 系统 19-23 2.4 ArtiFlow 模型 23-24 2.5 Petri 网简介 24-26 2.5.1 基本概念 24-25 2.5.2 Petri 网的动态性质 25-26 2.6 本章小结 26-27 第3章 ArtiFlow 模型设计 27-43 3.1 引言 27 3.2 ArtiFlow 模型及基本元素规范化描述 27-33 3.2.1 ArtiFlow 模式 28 3.2.2 服务元素 28-31 3.2.3 库元素 31 3.2.4 传输管道元素 31-32 3.2.5 业务规则 32-33 3.2.6 ArtiFlow 模型定义 33 3.3 ArtiFlow 模型设计方法 33-37 3.3.1 基本元素的属性设计 33-34 3.3.2 基于XML 的模型存储格式设计 34-35 3.3.3 模型设计规则 35-36 3.3.4 模型设计方法 36-37 3.4 ArtiFlow 模型基本结构 37-39 3.5 ArtiFlow 模型设计实例 39-42 3.6 本章小结 42-43 第4章 ArtiFlow 模型检查 43-63 4.1 引言 43-44 4.2 ArtiFlow 模型逻辑结构 44-45 4.3 Artifact 生命周期可达性验证 45-56 4.3.1 Artifact 生命周期可达的概念 45-46 4.3.2 Artifact 属性划分 46-47 4.3.3 业务关联规则 47-50 4.3.4 基于Petri 网分析获得Artifact 有效生命周期过程 50-53 4.3.5 Artifact 生命周期可达性验证算法设计 53-56 4.4 Artifact 持久性检查 56-57 4.5 Artifact 唯一存在性检查 57-59 4.6 ArtiFlow 模型完整性检查 59-62 4.6.1 基于无向图连通性的检查思想 59-60 4.6.2 算法设计 60-62 4.7 本章小结 62-63 第5章 ArtiFlow 模型优化 63-69 5.1 引言 63 5.2 优化分析 63-67 5.2.1 模型优化概念及优化过程 63-64 5.2.2 模型优化指标 64 5.2.3 基于服务事件链的模型优化分析方法 64-65 5.2.4 优化效果和意义 65-66 5.2.5 算法设计 66-67 5.3 基于模型应变系数的最优标准 67-68 5.4 本章小结 68-69 第6章 ArtiFlow 管理器应用测试 69-81 6.1 引言 69 6.2 ArtiFlow 管理器 69-71 6.2.1 系统架构 69-71 6.2.2 开发环境 71 6.3 应用测试 71-79 6.3.1 设计器测试 71-72 6.3.2 检查器测试 72-77 6.3.3 优化分析器测试 77-79 6.4 本章小结 79-81 结论 81-83 参考文献 83-88 攻读硕士学位期间承担的科研任务与主要成果 88-89 致谢 89-90 作者简介 90
|
相似论文
- 移动计算环境下检查点技术研究与Petri网建模,TP301.1
- 基于逻辑Petri网的Web服务组合建模与分析,TP393.09
- 基于Petri网的信息管理软件服务建模方法研究,TP311.52
- 物联网业务模型描述语言的研究与实现,TN929.5
- 工作流动态变更处理技术,TP311.52
- 以Artifact为中心的工作流技术研究及其应用,TP311.52
- 面向可穿戴生理检测的无线传感器网络QoS路由研究,TP212.9
- 基于jBPM的防空指控流程管理系统研究,TP311.52
- 基于着色Petri网的工作流引擎研究,TP311.52
- 基于Petri网建模的作业车间调度智能算法研究,TP18
- RFID复杂事件处理及形成世系追溯研究,TP391.44
- 基于Petri网的情境感知服务逻辑建模研究,TP301.1
- 基于广义随机着色Petri网的C~3I系统建模与仿真技术研究,N945.12
- 卫星对地观测需求分析方法及其应用研究,V474.26
- 基于混杂Petri网的城市道路交通网络模型研究及应用,U491.112
- 基于Petri网的弹炮协同防空流程优化研究,E917
- 基于TCPN的Web服务组合时间验证的研究,TP393.09
- 基于Petri网的Web服务组合研究,TP393.09
- 基于随机Petri网的BPEL服务组合分析方法的研究,TP393.09
- 基于高级Petri网的工作流系统建模与性能评价,TP311.52
- 基于有色PETRI网的工程项目物流管理系统的设计与实现,TP311.52
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com
|