随着信息技术的普及以及各种信息系统在企业的大量部署,企业的商务过程变得更加复杂。工作流技术的出现为协调这些业务过程活动提供了有效的方法。工作流技术采用以过程为中心的方法,是实现企业业务过程建模、业务过程仿真与优化、企业应用系统面向过程的集成,进而最终实现过程管理和过程自动化的核心技术。工作流管理是对企业应用非常有价值的一种技术。工作流管理系统(Workflow Management System,WFMS)是开发和执行工作流的工具和平台。但是目前的工作流管理系统都在具有事务特征的商务处理过程中缺乏解决数据一致性、正确性和可靠性的方案。 将事务引入工作流系统中,是近年来工作流研究领域中的一个研究热点。基于事务的工作流管理系统不仅能够满足企业复杂的业务需求,同时加强了系统在执行长时间活动时对资源分配和活动运行中间结果的处理,而且系统中引入事务性质保护了工作流数据的一致性。另外由于系统的复杂性,工作流系统在执行中经常出现各种错误和异常,系统的事务处理不仅可以使系统对不可预见的错误进行处理,而且提高了系统可靠性。 本文的研究工作主要如下: 1.从工作流和工作流管理系统的定义、功能和实施角度对工作流管理技术进行了研究和分析,并在此基础上总结了工作流管理系统的研究现状和工作流研究中现存的一些问题。 2.对工作流管理联盟参考模型进行了研究,接着通过选取各种典型的性能指标来对现有各种建模方法进行对比分析,进而利用petri网进行建模,它所具有的更丰富的表达能力,强有力的分析技术和手段非常适合工作流的建模。 3.通过对事务的概念、ACID特性及状态的介绍,比较了传统事务、高级事务和工作流中事务的异同。另外对工作流系统中的嵌套事务、长事务、分支/汇合事务模型进行了研究,总结出工作流管理系统中事务处理的错误处理和恢复等关键问题。 4.总结现有工作流管理系统的基础上,提出一种事务和活动划分方法,并相应的提出事务状态转移点的定义。从而完成基于事务性质的工作流系统建模,进而提出了基于事务和活动划分的错误恢复机制。 5.完成了基于事务处理的工作流管理系统的具体模型算法和实现,并对系统性能进行了评估。