工作流模型验证与数据访问冲突分析方法研究

论文题目: 工作流模型验证与数据访问冲突分析方法研究

论文类型: 硕士论文

论文专业: 计算机应用技术

作者: 周小平

导师: 王茜

关键词: 工作流,模型验证,集合约束,工作流并发,数据访问冲突

文献来源: 东南大学

发表年度: 2005

论文摘要: 工作流技术是重要的协同应用支撑技术之一,它通过对业务过程进行建模、执行和管理来完成业务目标。工作流模型建立起来之后,模型正确性验证和工作流执行时的并发控制成为需要解决的问题。本文的模型验证由语法分析和结构验证组成,采用了一种基于有向图的归约法的工作流模型结构冲突分析方法,结合数据流分析方法,探讨了工作流模型的正确性验证问题,并且开发了一个工作流模型验证工具。此外,当多个工作流实例并发执行时,这些实例之间的某些任务可能通过共享数据对象而存在约束关系,这将引发严重的数据访问不一致问题。本文扩展了结构化工作流定义语言SWDL,在此基础上,采用集合约束系统对工作流内部以及实例之间所有可能引起冲突的任务进行分析,生成数据资源的任务冲突集,在此基础上划分出任务调度具有互斥性质的关联任务子集,并且引入动态任务约束,以保证各实例中可能引发数据冲突的任务子集运行时的临时事务性。本文提出的调度算法在保证工作流实例运行正确性的同时,提供了一种多实例间灵活的、尽可能多的任务并发调度方法,实验验证了本文调度算法的有效性,性能分析表明,该算法提高了工作流的执行性能。

论文目录:

摘要

Abstract

第一章绪论

1.1 工作流技术的发展及应用现状

1.2 工作流模型验证与数据访问冲突分析的必要性

1.3 论文的主要内容与章节安排

第二章工作流模型分析

2.1 研究现状

2.2 工作流模型

2.2.1 工作流元模型

2.2.2 过程描述语言

2.3 模型验证

2.3.1 语法检查

2.3.2 过程模型的结构冲突

2.3.3 模型归约法则

2.4 无效活动的判定

2.5 重叠结构的化简

第三章工作流模型验证工具及其实现

3.1 带有模型验证工具的WfMS 体系结构

3.2 图形化工作流过程定义工具

3.3 工作流模型的存取

3.3.1 XML

3.3.2 工作流定义语言

3.3.3 基于XML 的模型文件的结构定义

3.4 模型验证工具及其实现

3.4.1 语法验证

3.4.2 模型结构验证算法及其实现

3.4.3 一个工作流模型验证工具实例

第四章工作流实例数据访问冲突分析

4.1 研究现状

4.2 工作流系统中的并发问题

4.3 工作流数据访问冲突描述

4.4 扩展的结构化工作流定义语言ESWDL

4.5 基于ESWDL 的集合约束系统生成及求解

4.5.1 集合约束系统的生成

4.5.2 集合约束系统的求解规则

4.6 工作流模型内部并发、外嵌套错误修正

第五章工作流数据访问正确性保证

5.1 研究现状

5.2 任务约束

5.3 关联任务子集及其生成

5.4 调度算法

5.5 实验结果及性能分析

第六章总结与展望

6.1 论文主要创新点及总结

6.2 未来的工作展望

致谢

参考文献

发布时间: 2007-06-11

参考文献

[1].基于N叉树动态工作流模型的变更管理的研究与应用[D]. 郭固婷.吉林大学2017
[2].基于角色的安全工作流模型研究[D]. 宋春燕.中国海洋大学2008
[3].基于物件依赖关系的工作流模型分析和柔性研究[D]. 周媛莎.复旦大学2009
[4].一种动态工作流模型及其应用研究[D]. 孔雄飞.华中科技大学2006
[5].一种改进的工作流模型的研究与实现[D]. 李玲琳.中南大学2006
[6].面向角色的分层工作流模型研究与实现[D]. 田长根.南昌大学2007
[7].基于消息中间件的政务服务协同工作流模型的研究与应用[D]. 陈威.湖南大学2005
[8].基于LOTUS DOMINO/NOTES的工作流模型的设计与实现[D]. 余乐.苏州大学2002
[9].基于规则引擎的动态工作流模型研究与设计[D]. 成敏.武汉理工大学2009
[10].基于事件日志的工作流模型挖掘[D]. 谢建恩.杭州电子科技大学2011

工作流模型验证与数据访问冲突分析方法研究

猜你喜欢