## AutoSyn

 swMATH ID: 2043 Software Authors: Huai, Jinpeng; Deng, Ting; Li, Xianxian; Du, Zongxia; Guo, Huipeng Description: AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee How to compose existing web services automatically and to guarantee the correctness of the design (e.g., freeness of deadlock and unspecified reception, and temporal constraints) is an important and challenging problem in web services. Most existing approaches require a detailed specification of the desired behaviors of a composite service beforehand and then perform certain formal verification to guarantee the correctness of the design, which makes the composition process both complex and time-consuming. In this paper, we propose a novel approach, referred to as AutoSyn to compose web services, where the correctness is guaranteed in the synthesis process. For a given set of services, a composite service is automatically constructed based on L * algorithm, which guarantees that the composite service is the most general way of coordinating services so that the correctness is ensured. We show the soundness and completeness of our solution and give a set of optimization techniques for reducing the time consumption. We have implemented a prototype system of AutoSyn and evaluated the effectiveness and efficiency of AutoSyn through an experimental study Homepage: http://www.springerlink.com/content/l4033704510v1217 Keywords: business protocol; synthesis; composite service; correctness constraints; $$L^*$$ algorithm Related Software: WSAT; NuSMV; LTSA-WS; SWORD Cited in: 3 Publications
all top 5

### Cited by 8 Authors

 3 Huai, Jinpeng 2 Deng, Ting 1 Du, Zongxia 1 Guo, Huipeng 1 Li, Bo 1 Li, Mu 1 Li, Xianxian 1 Wo, Tianyu

### Cited in 2 Serials

 2 Science China. Information Sciences 1 Science in China. Series F

### Cited in 2 Fields

 3 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX)