中文摘要：

事务处理(Transaction Processing)是保证Web服务协作可靠性的关键技术。在Web服务协作事务中，处理模型从单一原子模型转化为多种松弛模型，处理对象从细粒度的数据转化为粗粒度的异构软件服务。然而当前事务处理技术仍然停留在传统的数据库等小粒度环境中，对以上问题缺乏一个令人满意的解决方案，限制了Web服务技术的大规模应用。本项目针对上述需求，首先利用进程代数方法和元模型技术，描述和验证不同Web服务协作事务模型的正确性和语义保证，为Web服务协作事务打下坚实的理论基础。其次，提供不同程度的松弛原子性和松弛隔离性，支持不同需求的粗粒度异构服务协调。最后，将上述理论应用到当前主流的Web服务协作描述语言WS-BPEL中，为其增加事务特性，从而将研究成果投入到工业界实际应用中。