AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee

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

zbMATH Keywords

synthesisbusiness protocolcomposite service\(L^*\) algorithmcorrectness constraints

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Internet topics (68M11)

Cites Work

• Conversation protocols: a formalism for specification and verification of reactive electronic services
• Inference of finite automata using homing sequences
• Synthesis of interface specifications for Java classes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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

• NuSMV
• SWORD
• LTSA-WS

This page was built for publication: AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee