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

学位授予日期一隶南大·譬硕士学位论文——学号：——答辩委员会丰席——蔓锄研究生姓名～工作流模型验证与数据访问冲突分析方法研究旦生导师姓名俺一王茜驹蝗昱二五年三月申请学位类别工堂亟±一廿阅人专业名称．进篡拯鏖墨挂苤论文提交旦论文答辩日期熘县目壅直太堂一评学位授予单位分类号垒匠工密缎：工作流模型验证与数据访问冲突分析方法研究摘要关键荆汗ぷ髁鳎Ｐ脱橹ぃ显际ぷ髁鞑⒎ⅲ莘梦食逋工作流技术是重要的协同应用支撑技术之一它通过对业务过程进行建模、执行和管理来完成业务目标。工作流模型建立起来之后模型正确性验证和工作流执行时的并发控制成为需要解决的问题。本文的模型验证由语法分析和结构验证组成采用了一种基于有向图的归约法的工作流模型结构冲突分析方法结合数据流分析方法探讨了工作流模型的正确性验证问题并且开发了一个工作流模型验证工具。此外当多个工作流实例并发执行时这些实例之间的某些任务可能通过共享数据对象而存在约束关系这将引发严重的数据访问不一致问题。本文扩展了结构化工作流定义语言在此基础上采用集合约束系统对工作流内部以及实例之间所有可能引起冲突的任务进行分析生成数据资源的任务冲突集在此基础上划分出任务调度具有互斥’眭质的关联任务子集并且引入动态任务约束以保证各实例中可能引发数据冲突的任务子集运行时的临时事务性。本文提出的调度算法在保证工作流实例运行正确性的同时提供了一种多实例间灵活的、尽可能多的任务并发调度方法实验验证了本文调度算法的有效性性能分析表明该算法提高了工作流的执行性能。甌．白’畉．．．．琣—瓸．琫甌琣研究生签名：迫掌冢好期斗摊各——日期∞电子芏档可以采用影印、缩印或其他复制手段保存论文。本人电子文档的内容和纸质论东南大学学位论文独创性声明东南大学学位论文使用授权声明研究生签名东南扶学、中国科学技术信息研究所、国家图书馆有权保留本人所送交学位论文的复印件本人声明所呈交的学位论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知除了文中特别加以标注和致谢的地方外论文中不包含其他入己经发表或撰写过的研究成果也不包含为获得东南大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均己在论文中作了明确的说明并表示了谢意。哪谌菹嘁恢拢诒Ｃ芷谀诘谋Ｃ苈畚耐猓市砺畚谋徊樵暮徒柙模梢怨ú包括刊羔畚牡娜ú炕虿糠帜谌荨Ｂ畚牡墓ú包括刊登谌ǘ洗笱а芯可喊炖怼第一章绪论工作流技术的发展及应用现状查塑查兰堕主兰些堡苎三垡鎏堡型墅至兰墼塑堕塑苎窭竺堑查婆塑窒目前在全球范围内对工作流技术的研究及相关产品的开发进入了更为繁荣的阶段工作流的概念起源于生产制造业与办公自动化领域。根据工作流管理联盟对工作流的定义工作流是一类能够完全或者部分自动执行的经营过程它根据一系列过程规则、文档、信息或任务能够在不同的执行者之间进行传递与执行。工作流管理系统是利用软件来定义、创建和管理工作流执行的计算机系统该系统运行在一个或多个能理解流程定义并与流程参与人相互协作的工作流引擎之上】。Ｄ甏衅冢現蛌等公司率先开拓了工作流产品市场成为最早的一批工作流产品供应商。他们把图像扫描、复合文档、结构化路由、实例跟踪、关键字索引以及光盘存储等功能结合在一起形成～种全面支持某些业务流程的集成化的软件。比较典型的有晖瞥龅腤逃孟低常瑅瞒于年推出的鱰％进入年代随着计算机的普及计算机网络技术的迅速发展企业的信息化程度提高企业信息资源越来越表现出异构、松散耦台的特点。姆⒄购推占拔5缱由涛提供了技术可能而电子商务的重要功能就是商务流程的管理和监控如企业供应链管理系推笠悼突Ч叵倒芾鞢Ｔ谡庵旨际醣尘跋拢ぷ髁鞴芾硐低骋灿勺畛醯奈拗交旃ɑ肪常6晌集成企业复杂业务流程实现业务流程自动执行的工具工作流技术进入了一个崭新的发展阶段年工作流管理联盟成立工作流相关更多更新的技术被集成进来文件管理系统、数据库、电子邮件、移动式计算、等已被容纳于工作流管理系统之中。工作流产品市场每年以两位数字的速度迅猛增长。随着计算机技术的发展新的技术不断地融入工作流系统中使得工作流产品得到不断完善。作为支持企业经营过程重组珺⒕9套远