{"title":"A π-calculus based model for web services composition","authors":"Huaigu Wu, Farong Zhong, Zhejie Duan","doi":"10.1109/SPCA.2006.297495","DOIUrl":null,"url":null,"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","PeriodicalId":232800,"journal":{"name":"2006 First International Symposium on Pervasive Computing and Applications","volume":"37 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 First International Symposium on Pervasive Computing and Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SPCA.2006.297495","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4
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