Title :
A π-calculus based model for web services composition
Author :
Wu, Huaiguang ; Zhong, Farong ; Duan, Zhejie
Author_Institution :
Dept. of Comput. Sci., Zhejiang Normal Univ., Jinhua
Abstract :
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
Keywords :
Web services; pi calculus; Web services composition; distributed application; event process; operational semantics; pi-calculus; signal notification; transaction construction; Application software; Computer science; Distributed computing; Signal processing; Simple object access protocol; Transaction databases; Web services; XML; Composition; Extended ??-Calculus; Web services;
Conference_Titel :
Pervasive Computing and Applications, 2006 1st International Symposium on
Conference_Location :
Urumqi
Print_ISBN :
1-4244-0325-1
Electronic_ISBN :
1-4244-0326-x
DOI :
10.1109/SPCA.2006.297495
