Theoretical Analysis of Web Service Composition
Ding Ding · Ordnance Industry Automation · 2009
Formalized arithmetic is an effective method for software system verification and modeling.For the web service and its combination,it is very necessary to guarantee the correctness of its combination and realize service value-added.The paper analyzed the comprehensive characteristics of web service,summarized the typical characteristics of web service composition and emphatically introduced the representative model and method of web service composition,including OWL(DAML-S),CSP and π-calculus of the process algebra,Milan machine in automata theory and petri net.According to synthetical comparison and analysis,we evaluated the each model and method,which is as the basis for systematic establishment of web service composition theory.