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

《工作流模型验证与数据访问冲突分析方法研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号UDC：工!!j!密缎：垒匠——学号：——Q29821IY7q0461-yi90S00隶南大·譬硕士学位论文工作流模型验证与数据访问冲突分析方法研究研究生姓名～旦生!垩导师姓名(职称)一王茜(熬援!蝗昱2申请学位类别工堂亟±专业名称．进篡拯鏖墨挂苤论文提交R期2QQ5生2旦论文答辩日期2QQ§至3县3Q目学位授予单位壅直太堂一学位授予日期一一廿答辩委员会丰席——评阅人蔓锄二OO五年三月工作流模型验证与数据访问冲突分析方法研究摘要工作流技术是重要的协同应用支撑技术之一，它通过对业务过程进行建模、执行和管理来完成业务目标。工作流模型建立起来之后，模型正确性验证和工作流执行时的并发控制成为需

2、要解决的问题。本文的模型验证由语法分析和结构验证组成，采用了一种基于有向图的归约法的工作流模型结构冲突分析方法，结合数据流分析方法，探讨了工作流模型的正确性验证问题，并且开发了一个工作流模型验证工具。此外，当多个工作流实例并发执行时，这些实例之间的某些任务可能通过共享数据对象而存在约束关系，这将引发严重的数据访问不一致问题。本文扩展了结构化工作流定义语言SWDL，在此基础上，采用集合约束系统对工作流内部以及实例之间所有可能引起冲突的任务进行分析，生成数据资源的任务冲突集，在此基础上划分出任务调度具有互斥’眭质的关联任务子集，并且引入动态任务约束，以保证各实例中可能引发数据冲突的任务子集运行时

3、的临时事务性。本文提出的调度算法在保证工作流实例运行正确性的同时，提供了一种多实例间灵活的、尽可能多的任务并发调度方法，实验验证了本文调度算法的有效性，性能分析表明，该算法提高了工作流的执行性能。关键{司：工作流，模型验证，集合约束，工作流并发，数据访问冲突ResearchonWorkflowModelverificationandDataAccessConflictAnalyzeAbstractWorkflowisoneoftheimportantsupportingtechniquesinCSCW．Itfacilitatespeople’scooperationbymodeling，ex

4、ecutingandmanagingprocessestoachievetheirbusinessgoalsAfteraworkfiowmodelisbuilt．thequestionofmodelverificationandworkflowconcurrencyistobesolved．Toveri白thesemanticandstructuraIcorrectness，agraphreductionmethodisintroducedinthispaper,combinedwithdataflowanalyzemethod，wecompleteamodelverificationt00

5、1．Whenmultipleworkflowjnstaneesexecuteinparallel．theymighthavesomeconstraintrelmionshipsbecausesometasksoftheinstancesmightsharethesamedamobjects．ThiswillCaLIseseriousproblemsofinconsistencyindataaCCeSS．ThispaperextendstheStructuredWorkflowDefnitionLanguage(SWDL)Byusingsetconstraintsystems，allpossi

6、bleconflict—causingtasksintheworkflowandamongtheinstancesareanalyzedandtheconflictedtasksetofthedatasourcesisgenerated．Basedonthat．thesubsetoftherelatedtasksandthedynamictaskconstraintsaregenerated，ensuringthetemporarytransactionamongtheinstancesofthetasksubsetwhichmightleadtodataconflictwhenexecut

7、ing．ThlspaperprovidesaflexiblealgorithmforasmanyaspossibleinstancesoftaskstorunconcurrentlywhileensuringthecoiTectnessofthewerkflowinstancessothattheperformanceoftheworkflowsystemisimprovedAnexperimentprove