随着网络技术的飞速发展,人们迫切需要实现松散耦合的、语言独立的、跨平台的异构应用集成与交互机制。Web服务作为一种快速发展的新兴技术,它支持网络上可互操作的机器间的交互,常常涉及多个服务的协调与交互,需要及时解决运行时随时可能出现的各种故障或者异常,这类过程必须保证多个服务运行结果的可靠性和一致性。这使得它不同于传统的ACID事务,在执行过程中无法锁定资源,且简单的回滚机制无法撤销已完成动作的影响。因此,Web服务处理环境需要事务处理技术的支持。事务是容忍系统故障、提高系统可靠性的有效手段。事务可以隐藏复杂的协调过程、异常处理和恢复细节,减轻编程人员的负担,不必关心复杂的底层活动,因而事务技术在分布式环境中得到了深入研究和广泛应用。同时,Web服务事务适合开放式的网络和松耦合的环境,在系统的可靠性和一致性方面面临新的挑战。因此,研究该问题具有重要的科学意义和应用价值。Web事务的补偿是指用来消除已提交事务所产生的影响,也即可以激活补偿流程的操作。补偿是整个业务事务能否顺利执行的关键,这一流程可以最大限度的消除已提交事务所产生的影响。因此,本文针对长运行事务极易出现补偿和终止的问题,剖析了现有的事务处理机制,在StAC (Structured Activity Compensation)的基础上扩展了事务处理机制,包括改进的补偿算子及其操作语义；并给出补偿业务事务的应用——映换函数,证明了StAC的表达能力,为BPEL提供了一种形式化的语义。本文研究了长运行事务补偿机制以及它的应用。其主要研究内容及贡献如下：●针对业务事务执行过程中出现的补偿和终止的问题,提出了一种基于StAC的扩展事务补偿技术。其中包括强制补偿算子,动态更新补偿算子以及隔离域等,有效地保证了长运行事务补偿进程的成功执行；此外,通过经典的业●扩展了标签转移关系和结构同余关系,提出了无等待更新补偿谓词；完善了长运行事务的补偿操作语义,使得Web业务事务可以顺利运行,为它能广泛投入商业应用奠定了基础。●研究了StAC机制与BPEL的映射关系。其中给出BPEL子集的一个抽象语法结构,定义了一个映射转化函数T；通过映射转化函数实现了BPEL与StAC之间的对应关系,为BPEL提供了一个正规化的语义,有力地论证了StAC的表达能力。