AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee
From MaRDI portal
Publication:848309
DOI10.1007/S11432-009-0155-0zbMATH Open1191.68816OpenAlexW2021069576MaRDI QIDQ848309
Ting Deng, Huipeng Guo, Zongxia Du, Xianxian Li, Jin-Peng Huai
Publication date: 3 March 2010
Published in: Science in China. Series F (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11432-009-0155-0
Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Internet topics (68M11)
Cites Work
Related Items (4)
Unnamed Item ⋮ Complexity of synthesis of composite service with correctness guarantee ⋮ Reliability-aware automatic composition approach for web services ⋮ Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition
Uses Software
This page was built for publication: AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee