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

魔力平台业务过程建模冲突消解的研究与实现

作　者: 张婷
导　师: 俞经善
学　校: 哈尔滨工程大学
专　业: 计算机应用技术
关键词: 过程模型结构验证图化简冲突消解
分类号: TP311.5
类　型: 硕士论文
年　份: 2011年
下　载: 0次
引　用: 0次
阅　读: 论文下载

内容摘要

随着企业业务过程的复杂程度和参与者的规模急剧增长,各业务间的逻辑关系变得更为复杂。采用工作流管理技术建立工作流模型,描述复杂的业务过程信息,可以实现对复杂业务过程的有效管理。工作流技术是实现企业自动化和业务重组的重要技术。业务过程建模是整个工作流管理的基础。工作流模型的正确性是工作流系统正确运行的保障,而模型结构正确是最重要的,因此在工作流执行之前,需要对定制的工作流模型进行正确性验证,分析和检测复杂工作流模型中是否存在冲突；同时,对含有冲突的模型进行冲突消解,即提出冲突消解方案,以协助建模人员修改工作流模型。本文重点讨论的是冲突消解,即检测冲突并处理冲突,保证工作流模型的结构正确性,使业务过程可以正常终止。首先,提出基于扩展UML活动图的建模方法,对基本UML活动图的元素进行扩展,使之适合描述复杂的业务过程。其次,提出了基于UML活动图化简的冲突检测方法,该方法可以处理含有循环、重叠结构的复杂过程模型,实现对典型结构冲突(如死锁、同步缺失、活锁)的检测。并且针对过程模型中的各个冲突提出了相应的冲突消解方法,过程建模人员能够根据冲突信息,并结合冲突消解方案对过程模型进行修改,以保证过程模型的正确性。最后,设计并实现了冲突消解工具,并结合魔力平台的业务过程建模实例,验证了该工具的有效性,另一方面用实验说明冲突检测算法可以降低验证复杂度,冲突消解方法可以提高冲突处理效率,体现了冲突消解的应用价值。

全文目录

摘要 5-6Abstract 6-9第1章绪论 9-13 1.1 论文的选题背景与意义 9-10 1.2 国内外研究现状 10-11 1.3 论文的主要工作 11-12 1.4 论文的组织结构 12-13第2章相关理论基础 13-29 2.1 工作流技术的概念与标准 13-17 2.1.1 工作流概念与相关术语 13-15 2.1.2 工作流管理系统及相关标准 15-17 2.2 工作流模型 17-23 2.2.1 工作流建模方法 18-21 2.2.2 工作流过程定义语言 21-23 2.3 过程模型结构验证方法 23-28 2.3.1 基于状态转换的方法 24-25 2.3.2 基于Petri网归约的方法 25-27 2.3.3 基于语义推理的方法 27-28 2.4 本章小结 28-29第3章基于UML图化简的过程模型冲突消解 29-42 3.1 过程模型的冲突 29-31 3.1.1 冲突分类 29 3.1.2 结构冲突 29-31 3.1.3 冲突的特点 31 3.2 扩展UML活动图 31-33 3.2.1 UML活动图的基本元素及其扩展 31-33 3.2.2 UML活动图的描述 33 3.3 基于图化简的冲突检测 33-38 3.3.1 化简规则 33-37 3.3.2 冲突检测算法 37-38 3.3.3 算法分析 38 3.4 冲突消解方法 38-39 3.5 冲突消解实例 39-41 3.6 本章小结 41-42第4章魔力平台冲突消解工具的设计与实现 42-65 4.1 魔力平台 42-45 4.1.1 魔力平台概述 42-43 4.1.2 务过程建模 43-44 4.1.3 过程模型的表示 44-45 4.2 冲突消解工具的设计 45-52 4.2.1 与外部组件的关系 45 4.2.2 功能分析 45-47 4.2.3 体系结构 47-50 4.2.4 改进的工作流元模型 50-52 4.3 冲突消解工具的实现 52-56 4.3.1 结构冲突的描述 52 4.3.2 冲突检测与消解的实现 52-56 4.4 冲突消解工具的应用 56-63 4.4.1 务过程实例 56-57 4.4.2 业务过程建模冲突消解 57-61 4.4.3 效果分析 61-63 4.5 本章小结 63-65结论 65-66参考文献 66-69攻读硕士学位期间发表的论文和取得的科研成果 69-70致谢 70

魔力平台业务过程建模冲突消解的研究与实现

内容摘要

全文目录

相似论文