工作流技术是实现企业业务过程建模、仿真分析、优化管理的核心技术。它将业务过程逻辑从应用系统中分离出来，达到了对过程建模、重组和重用的目的。随着工作流技术的发展，用户对工作流管理系统的可靠性和正确性要求越来越关注。支持事务处理的工作流是将数据库管理系统中的事务概念应用在工作流管理系统中，来处理错误恢复和并发控制，以保证运行结果的一致性和执行正确性。目前的工作流系统没有支持事务或者对事务支持的不充分，系统的正确性和可靠性成为成败的关键，缺乏事务支持严重阻碍了工作流管理系统更加深入和广泛的使用。 本文对工作流管理系统中的事务和事务处理进行了深入的研究，分析比较了工作流管理系统中事务概念与传统事务、高级事务的不同，并讨论了工作流中的错误类别及处理方式。在此分析的基础之上，提出了一个基于着色Petri网的事务工作流模型。为了保证关键业务活动的正确、可靠执行，该模型不仅引入活动的事务处理级别，并且提出了事务范围的概念，并从应用语义的角度对它进行扩展。此外，还提出了一组事务恢复执行模式，其目的是为了保证事务范围具有放松了的原子性，恢复执行模式能根据模型中的事务语义灵活有效的进行失败恢复。该模型允许用户在工作流执行前临时加入任务执行的状态依赖，并通过这个任务状态依赖表达复杂业务规则的面向事务和面向应用的需求，为现有的工作流系统提供一种合理的基础理论以扩展工作流的事务支持。 在上述研究的基础上，开发了工作流管理系统FlexWork介绍了其总体功能结构，重点讨论了过程定义子系统的事务语义表达，运行服务子系统的分析与设计，以及重要功能部分的体系结构。本文旨在为工作流技术中事务处理方面的研究进行既有学术价值又有实用价值的积极探索。