A π-calculus based model for web services composition

Composition of Web services into distributed applications recently becomes a hot topic in computer science. In this paper a pi-calculus based model for Web service composition is presented in which the event process, signal notification and construct of transaction are added. The operational semantics of the model is interpreted. Further the expressiveness of the model is discussed, and a typical case study is explored. Finally, some comments are made