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

Transaction Processing of Compositive Web Service and its Correctness Analysis of Calculus Based on Cell Membrances

作　　者：姚绍文[1] 唐明靖[1] 危兵 

机构地区：[1]云南大学网络智能计算研究室,云南昆明650091 [2]云南省信息技术发展中心,云南昆明650091

出　　处：《计算机科学》2008年第3期109-112,122,共5页Computer Science

摘　　要：事务处理是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.

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

分 类 号：TP393.4[自动化与计算机技术—计算机应用技术] TP311.13[自动化与计算机技术—计算机科学与技术]