事务处理作为Web服务的关键技术之一，决定着Web服务是否能被企业广泛地采用。事务在Web服务组装中可能跨几个小时，跨多个企业，与传统事务处理系统有很大的差别。IBM、微软等公司在近几年连续推出了有关Web服务的事务规范如WS-Coordination[1]，BTP[2][3]等，包括Web服务原子事务规范(Atomic Transaction)、Web服务业务活动规范(Business Acitivity)等，但是这些规范中制定的规则是泛化的，实现起来比较困难。而且这些协议一般是对于Web服务本身而言的事务处理协议，但对于一个复杂的组装过程中的事务问题，其解决能力就相对有限。 本文提出一个基于事务的Web服务组装框架，这个框架的创新性在于基于分层的模型演化，在设计Web服务组装框架时，从三个层次对服务组装模型进行组装分析：事务层、工作流层、物理组装层。首先从事务的角度进行事务层研究，鉴于对于不同的业务逻辑的组装，其事务的组合逻辑也是不同的，故没有办法建模出一个适合所有业务逻辑的组装事务模型，所以本文在事务层将研究重点放在事务之间的协商过程。通过对事务间协商过程算法的改善，保证组装逻辑的事务性实现。将事务层进行演化，演化到工作流层，工作流层研究工作的重点是对于事务组装的实际流程，使用Petri网[4]数学工具对BPEL流程进行模型验证，以检验其业务流程的正确性，比如不会发生死锁等情况。这样可以保证整个Web服务组装框架的流程可以正确执行。至于物理组装层是整个Web服务组装物理实现层，不作为本文研究的重点对象。本文将这个模型驱动的事务框架命名为LD-WSCT(Layer-Driven Web Service Composition Transaction)，最后文中对一个学者参加异地学术会议的旅行行程安排的例子，使用LD-WSCT框架进行初步的应用分析。