Web服务组合事务处理及基于细胞膜演算的正确性分析

事务处理是Web服务及其组合服务能否得到广泛应用的关键技术之一。本文分析总结了现有的事务处理模型,针对Web服务组合环境下的异构性、自治性和动态性,提出了一个基于组合Web服务的事务处理模型WS-CTM,并基于细胞膜演算对模型的正确性进行了验证。