DocumentCode :
3343682
Title :
Exploiting Independence in Design of Web Service Composition
Author :
Liu, Fangfang ; Chi, Yan ; Luo, Xiangfeng
Author_Institution :
Sch. of Comput. Eng. & Sci., Shanghai Univ., Shanghai
fYear :
2008
fDate :
23-26 Sept. 2008
Firstpage :
758
Lastpage :
759
Abstract :
Communications among Web services are asynchronous. Asynchronous models of service compositions face the problem that the performance of verification is bring down with states explosion. We describe an approach, which utilize the interaction-independence of component services in the composition and forms all component services into different groups. Preliminary experiment results show that the verification of service compositions upon these groups can decrease the size of exploration states and hence improve the performance.
Keywords :
Web services; formal verification; systems analysis; Web service composition design; asynchronous models; verification performance; Asynchronous communication; Business communication; Design engineering; Explosions; Web and internet services; Web services; service composition; verification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Web Services, 2008. ICWS '08. IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-0-7695-3310-0
Electronic_ISBN :
978-0-7695-3310-0
Type :
conf
DOI :
10.1109/ICWS.2008.82
Filename :
4670248
Link To Document :
بازگشت