Automated synthesis of composite services with correctness guarantee

Ting Deng, Jinpeng Huai, Xianxian Li, Zongxia Du, Huipeng Guo
2009 Proceedings of the 18th international conference on World wide web - WWW '09  
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 unspecified 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
more » ... ating the effectiveness and efficiency of our synthesis approach through an experimental study.
doi:10.1145/1526709.1526890 dblp:conf/www/DengHLDG09 fatcat:2zojcsbc4rfoznqwy3vb3hkeyy