摘要
事务处理是Web服务及其组合服务能否得到广泛应用的关键技术之一。本文分析总结了现有的事务处理模型,针对Web服务组合环境下的异构性、自治性和动态性,提出了一个基于组合Web服务的事务处理模型WS-CTM,并基于细胞膜演算对模型的正确性进行了验证。
Transaction processing is one of key technologies that make Web service and its compositive service can or not be wide used. This paper summarizes and analyzes the exsisting transaction processing models. Then according to compositive Web service characteristics-heterogeneous, autonomous and dynamic, proposes a transaction processing model called WS-CTM which is based on compositive Web service, and verifies its correctness based on membrane calculus at last.
出处
《计算机科学》
CSCD
北大核心
2008年第3期109-112,122,共5页
Computer Science