工作流技术是实现业务过程自动化的一种有效手段，事务处理技术对于提高工作流管理系统WfMS(Workflow Management System)的可靠性具有重要作用。在20世纪90年代，人们将各种扩展事务模型与工作流技术相融合，衍生出事务工作流(transactional workflow)技术，该技术对于支持分布、异构、复杂的关键业务过程的自动化、推动其迈向实用具有重要意义。针对目前过程模型对事务性支持的不足，本文提出了一种事务工作流过程模型TFPM，该模型支持过程的嵌套结构，并引入隔离域概念及错误恢复属性使之满足工作流的事务性需求。针对当前事务工作流系统中存在的各种并发情况，提出了基于隔离域的并发调度算法，该算法允许用户通过合理设置过程中的隔离域及各种隔离属性来有效的避免工作流系统中因为各种并发执行而产生的丢失修改、读取脏数据等现象发生，并且该算法可以使用户根据业务的具体需要，灵活的定制过程的隔离级别，提高过程实例的并发度。提出了基于过程执行历史的错误恢复算法，该算法充分考虑了事务工作流中的各种并发情况，当活动出现运行错误时根据活动所属隔离域判断所需补偿的活动范围，补偿时根据过程执行历史进行补偿，从而减小了补偿代价。针对已有工作流产品和原型系统缺乏对工作流事务性支持的情况，设计了一个事务工作流原型系统TFlow，该原型系统为事务工作流的执行提供并发调度策略和正确性保证。本文在事务工作流过程模型、并发控制、错误恢复及事务工作流原型系统等方面的研究为事务工作流的研究提供了新的思路和方法。