creators_name: Deng, Ting creators_name: Huai, Jinpeng creators_name: Li, Xianxian creators_name: Du, Zongxia creators_name: Guo, Huipeng type: conference_item datestamp: 2009-04-06 19:13:03 lastmod: 2009-04-14 04:37:11 metadata_visibility: show title: Automated Synthesis of Composite Services with Correctness Guarantee ispublished: pub full_text_status: public pres_type: poster abstract: In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspeciļ¬ed reception, and temporal constraints in Computation Tree Logic formula. An automated synthesis algorithm based on learning algorithm is introduced, which guarantees that the composite service is the most general way of coordinating services so that the correctness is ensured. We have implemented a prototype system evaluating the effectiveness and efficiency of our synthesis approach through an experimental study. In this paper we propose a novel approach to synthesize the composite service from a given set of services, where the designer only needs to set the correctness constraints on the desired behaviors of the targeted service and the synthesis will be automatically performed with the correctness guaranteed. We implemented a prototype system and the preliminary experimental results on a practical travel agent example show that our synthesis approach is effective and efficient. date: 2009-04 pagerange: 1127-1127 event_title: 18th International World Wide Web Conference event_location: Madrid, Spain event_dates: April 20th-24th, 2009 event_type: conference refereed: TRUE citation: Deng, Ting and Huai, Jinpeng and Li, Xianxian and Du, Zongxia and Guo, Huipeng (2009) Automated Synthesis of Composite Services with Correctness Guarantee. In: 18th International World Wide Web Conference, April 20th-24th, 2009, Madrid, Spain. document_url: http://www2009.eprints.org/144/1/p1127.pdf