Paper Info
Title
A Formal Model for Channel Passing in Web Service Composition
Abstract
Despite the importance for expressing location mobility and dynamic composition, channel passing has almost been ignored in the formal work on Web service composition. One important problem here is to ensure that each service in a composition can always get sufficient and correct channels for completing their collaborative work. To support reasoning and verification of those properties of service compositions, in this paper we propose a pair of formal languages that support channel passing on both global and local levels, together with their semantics. Also we present a top-down design methodology that generates local-level processes from global description, and prove that the generated processes must be deadlock-free under the sufficient conditions we proposed.
Year
DOI
Venue
2008
10.1109/SCC.2008.110
IEEE SCC (2)
Keywords
Field
DocType
sufficient condition,formal model,channel passing,global description,web service composition,service composition,formal language,correct channel,collaborative work,formal work,dynamic composition,web service,design methodology,choreography,informatics,formal languages,groupware,top down,orchestration,collaboration,web services
Formal language,Collaborative software,Computer science,Communication channel,Design methods,Choreography,Web service,Orchestration (computing),Semantics,Database,Distributed computing
Conference
ISSN
Citations 
PageRank 
2474-8137
3
0.47
References 
Authors
3
4
Name
Order
Citations
PageRank
Chao Cai11458.48
Hongli Yang219114.80
Xiangpeng Zhao335320.67
Zongyan Qiu443641.04