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
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;
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
DOI :
10.1109/ICWS.2008.82