DocumentCode
3355777
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
fYear
2006
fDate
3-5 Aug. 2006
Firstpage
1
Lastpage
6
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SPCA.2006.297495
Filename
4079066
Link To Document