学位论文 > 优秀研究生学位论文题录展示

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

相似论文

  1. 移动计算环境下检查点技术研究与Petri网建模,TP301.1
  2. 基于逻辑Petri网的Web服务组合建模与分析,TP393.09
  3. 基于Petri网的信息管理软件服务建模方法研究,TP311.52
  4. 物联网业务模型描述语言的研究与实现,TN929.5
  5. 工作流动态变更处理技术,TP311.52
  6. 以Artifact为中心的工作流技术研究及其应用,TP311.52
  7. 面向可穿戴生理检测的无线传感器网络QoS路由研究,TP212.9
  8. 基于jBPM的防空指控流程管理系统研究,TP311.52
  9. 基于着色Petri网的工作流引擎研究,TP311.52
  10. 基于Petri网建模的作业车间调度智能算法研究,TP18
  11. RFID复杂事件处理及形成世系追溯研究,TP391.44
  12. 基于Petri网的情境感知服务逻辑建模研究,TP301.1
  13. 基于广义随机着色Petri网的C~3I系统建模与仿真技术研究,N945.12
  14. 卫星对地观测需求分析方法及其应用研究,V474.26
  15. 基于混杂Petri网的城市道路交通网络模型研究及应用,U491.112
  16. 基于Petri网的弹炮协同防空流程优化研究,E917
  17. 基于TCPN的Web服务组合时间验证的研究,TP393.09
  18. 基于Petri网的Web服务组合研究,TP393.09
  19. 基于随机Petri网的BPEL服务组合分析方法的研究,TP393.09
  20. 基于高级Petri网的工作流系统建模与性能评价,TP311.52
  21. 基于有色PETRI网的工程项目物流管理系统的设计与实现,TP311.52

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com