  Web Service Composition creates new composite Web Services from existing Web
Services which embodies the added values of Web Service technology and is a key
technology to solve cross-organizational business process integrations. We do a
survey on formal methods for Web Service Composition in the following way.
Through analyses of Web Service Composition, we establish a reference model
called RM-WSComposition to capture elements of Web Service Composition. Based
on the RM-WSComposition, issues on formalization for Web Service Composition
are pointed out and state-of-the-art on formal methods for Web Service
Composition is introduced. Finally, we point out the trends on this topic. For
convenience, we use an example called BuyingBooks to illustrate the concepts
and mechanisms in Web Service Composition.
