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
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;
Conference_Titel :
Services Computing, 2008. SCC '08. IEEE International Conference on
Conference_Location :
Honolulu, HI
Print_ISBN :
978-0-7695-3283-7
DOI :
10.1109/SCC.2008.110