工作流技术是当今一项飞速发展的技术,起源于生产组织和办公自动化领域,通过将工作分解成定义良好的任务或角色,按照一定的规则和过程来执行这些任务并对其进行监控,达到提高工作效率、更好的控制过程、增强对客户的服务、有效管理业务流程等目的。它最基本的特性就是它能够结合人工和机器的行为,特别是能够与应用程序和工具进行交互,从而完成业务过程的自动化处理。在工作流模型设计时通过工作流验证检验工作流模型的正确性,在工作流过程实际实施之前探测其中可能存在的各种过程错误,可以降低工作过程运行时的停产、检查和修复的成本。事务工作流可以为系统提供良好的执行期间的异常控制,使工作流系统具有更好的健壮性和稳定性。本文首先介绍了工作流技术的发展历史,着重介绍了工作流管理系统和XPDL流程定义规范；然后介绍了工作流异常的基本概念和异常分类,并结合实际应用,给出工作流异常模型。之后通过介绍各种类型的事务模型,给出了工作流异常处理的方法和策略。本文通过对规范的扩展和工作流引擎功能的扩展,详细说明了事务工作流的设计和实现方法,给出了事务处理器的基本框架,并就其中的核心功能的给出设计方法。本文详细介绍了工作流验证器的设计和实现,给出了XPDL验证器的基本框架和验证流程,着重介绍了结构验证算法的设计和XPDL流程模型与验证模型之间的映射算法。最后本文通过几个实例,对事务工作流和工作流验证器进行了测试。