工作流管理是计算机科学技术中的一个重要分支。它是研究过程管理的计算机技术。该技术起源于上个世纪70年代中后期,最初是针对办公自动化系统中的流程管理而问世,其后发展为针对业务过程进行管理的一门新兴技术分支。经过二十多年的研究发展,工作流技术取得了很大的发展并得到了日益广泛的应用。随着网络的普及,Internet的快速发展,工作流系统的外部环境发生了巨大的改变,原来集中式的、同质的、面向桌面的环境逐渐朝着分布的、异质的、面向网络的方向发展。随着环境的复杂化,工作流更需要稳定性、可靠性。 事务已经成为设计与编制高可靠性软件系统的最重要的概念。事务的概念来自于数据库研究领域,用于解决数据的并发访问和出错恢复问题。将事务的概念和相应的事务处理方法引入工作流系统,是工作流技术进步的一个重要标志。如何使工作流技术与事务处理技术结合起来,提高工作流系统的稳定性和可靠性,正是本文研究的出发点。 本文对工作流管理系统中的事务和事务处理进行了深入的研究,分析比较了工作流管理系统中事务概念与传统事务、高级事务的不同,从而明确了工作流管理系统中事务处理需要解决的问题的重点与难点。在此分析的基础之上,提出了一个具有事务支持的工作流模型。为了保证关键业务活动的正确、可靠执行,该模型不仅引入活动的事务处理级别,并且提出了事务范围的概念,并从应用语义的角度对它进行扩展。此外,还提出了一组事务恢复执行模式,其目的是为了保证事务范围具有放松了的原子性,恢复执行模式能根据模型中的事务语义灵活有效的进行失败恢复。在上述研究的基础上,开发了工作流管理系统FlexWork介绍了其总体功能结构,重点讨论了过程定义子系统的事务语义表达,运行服务子系统的分析与设计,以及重要功能部分的体系结构。本文旨在为工作流技术中事务处理方面的研究进行既有学术价值又有实用价值的积极探索。