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

计算机科学 ›› 2008, Vol. 35 ›› Issue (3): 109-112.

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

出版日期:2018-11-16 发布日期:2018-11-16

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

关键词: Web服务事务处理细胞膜演算 Maude系统

Abstract: 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 characte

Key words: Web service, Transaction processing, Membrane calculus, Maude system

. Web服务组合事务处理及基于细胞膜演算的正确性分析[J]. 计算机科学, 2008, 35(3): 109-112. https://doi.org/