TY - GEN
T1 - An acknowledgement-based approach to synthesizing reliable service mediators
AU - Lin, Baoping
AU - Li, Qing
AU - Gu, Naijie
PY - 2008/12/24
Y1 - 2008/12/24
N2 - In this paper, we characterize the problem of how to synthesize a reliable service mediator that can guarantee reliable interaction of the mediated Web services. We first present formal models of reliable protocols for Web services and service mediators. Then, we introduce an algorithm for synthesizing reliable service mediators.
AB - In this paper, we characterize the problem of how to synthesize a reliable service mediator that can guarantee reliable interaction of the mediated Web services. We first present formal models of reliable protocols for Web services and service mediators. Then, we introduce an algorithm for synthesizing reliable service mediators.
UR - http://www.scopus.com/inward/record.url?scp=57749202686&partnerID=8YFLogxK
U2 - 10.1109/ICWS.2008.66
DO - 10.1109/ICWS.2008.66
M3 - Conference article published in proceeding or book
AN - SCOPUS:57749202686
SN - 9780769533100
T3 - Proceedings of the IEEE International Conference on Web Services, ICWS 2008
SP - 816
EP - 817
BT - Proceedings of the IEEE International Conference on Web Services, ICWS 2008
T2 - IEEE International Conference on Web Services, ICWS 2008
Y2 - 23 September 2008 through 26 September 2008
ER -