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