DocumentCode :
2298788
Title :
A Formal Model for Channel Passing in Web Service Composition
Author :
Chao Cai ; Hongli Yang ; Xiangpeng Zhao ; Zongyan Qiu
Author_Institution :
LMAM & Dept. of Inf., Peking Univ., Beijing
Volume :
2
fYear :
2008
fDate :
7-11 July 2008
Firstpage :
495
Lastpage :
496
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.
Keywords :
Web services; business data processing; formal languages; groupware; Web service composition; channel passing; collaborative work; crossing-organization business processes; formal languages; location mobility; value-added services; Abstracts; Chaos; Collaboration; Collaborative work; Design methodology; Formal languages; Informatics; Sufficient conditions; System recovery; Web services; Channel passing; Choreography; Orchestration; Web Service;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Services Computing, 2008. SCC '08. IEEE International Conference on
Conference_Location :
Honolulu, HI
Print_ISBN :
978-0-7695-3283-7
Type :
conf
DOI :
10.1109/SCC.2008.110
Filename :
4578562
Link To Document :
بازگشت