基于XPFL的工作流验证-FlowLvzerXP的研究与实现-计算机应用专业论文.docxVIP

浙江大学硕士学位论文 浙江大学硕士学位论文 基于XPFL的工作流验证--FlowLyzcrxp的研究与实现 摘 要 5-作流验证，是目前国内外方兴未艾、叉非常缺乏实践摸索经验的一个研究 领域，本论文在这方面作了一次比较具体深入的尝试。 FlowSxp是一个支持离散调度、X-作流验证的分布式5-．作流管理系统，应目 前跨企业操作商务模式的需求而产生。FlowLyzerxe是其中的工作流验证子系统。 本文立足于此，对工作流验证(主要是定性验证)进行了比较全面和深入的探讨， 并将理论成果在FlowLyzerxp系统中得到了颇有成效的应用．论文分以下几部分： 第一章，对工作流和工作流验证技术作了概要介绍，力求让读者对工作流技 术的发展和目前应用情况、相关的基本概念有一定了解；并阐述了工作流验证的 菇要性，总结了工作流验证必须具备的要求，给出了工作流验证的定义和研究内 容，最后概括介绍了工作流验证理论当前的研究状况。 第二章，提出了基于XML和Petri网的工作流定义语言—xPFL，以及XPFL 工作流元模型。首先，对XPFL作了概要介绍；然后具体介绍了XPFL元模型中 验证相关的元素，包括流程、任务、迁移等；最后在此基础上对工作流元模型的 有效性进行了详细讨论，给出了有效性规则：无死任务、可完成性扣任务的正确 完成性。本章是全文的基石，以下各章均在本章基础上展开讨论。 第三章，针对上一章所述的有效性规则，阐述XPFL工作流验证的算法模型。 首先提出了一种扩充Petri网一WFxp网，并讨论了如何用WFxv网验证死任务和 流程妁正确完成性：其次在WFxp网的基础上讨论了CAR网，活锁的检测，并 阐述了如何通过CAR网的着色来解决死锁问题；最后，从匹配节点的角度出发 引入了匹配网，进一步讨论了死锁和同步的问题．本章是全文的算法理论基础。 第四章，结合前面两章的内容，阐述验证工作的具体实现。首先，讨论XPFL 工作流定义的其它视图信息的过滤和结构化简；然后，具体讨论了XPFL元模型 向WFxp网、CAR网、匹配网等算法模型的转换；最后，给出了验证的具体流程。 本章是FlowLyzerxp系统的实现基础。 第五章，介绍FlowLyzerxp的具体实现。首先介绍FlowSxe和FlowLyzerxp的 体系结构，然后结合一个客户投诉处理的案例，对前几章涉及的元模型、算法模 型、验证流程等内容做了进一步的阐述。 丈章最后(第六章)总结了论文的主要工作，并指出了有待进一步研究解决的 问题。 【关踺词】：工作流、验证、XML、Petri网、XPFL、WFxe网、CAR网、匹配 网 塑垩查兰堡主兰垡堡壅 塑垩查兰堡主兰垡堡壅 量三茎!坠塑三堑堕墼堡’：-二．=：=：：：：：：=：s-：：J：1： ABSTRACT More and More people are concentrating on workflow verification．However,few are very Successful．This dissertation is trying to proceed a betler approach． F／owSxP is a Workflow Management System supporting discrete schedule and strong workflow verification，which extremely satisfies the requirement of inter-enterprise business cooperation，FlowLyzerxe is fl sub-system ofFlowSxe．Based on that，this dissertation put forward a deep and complete discussion about the struclural velification of workfiow．Moreover，most content ofthis dissertation is applied and proved to be COlTeCt in FlowLyzerxp system ln the l“chapter,we introduce workfiow and workflow verification briefly to make the readers understand the development and application of workflow technology and some relevant concepts．We also explain why verification is necessary fo