Transaction Processing of Compositive Web Service and its Correctness Analysis of Calculus Based on Cell Membrances
Yao Shao · 2008
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.