%0 Journal Article
%T Transaction Processing of Compositive Web Service and its Correctness Analysis of Calculus Based on Cell Membrances<br>Web服务组合事务处理及基于细胞膜演算的正确性分析
%A YAO Shao-Wen TANG Ming-Jing WEI Bing
%A <br>姚绍文
%A 唐明靖
%A 危兵
%J 计算机科学
%D 2008
%I 
%X 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
%K Web service
%K Transaction processing
%K Membrane calculus
%K Maude system<br>web服务
%K 事务处理
%K 细胞膜演算
%K Maude系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=0DD6BBAC1F38E63578899287E69D2A8C&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=38B194292C032A66&sid=91C9056D8E8856E0&eid=4BB057F167CF3A60&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=10