Analyzing Conversations of Web Services

A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the interactions among the peers participating to a composite web service. In this paper we discuss the following question: What is the impact of asynchronous communication on the conversation behavior? We show that the conversation behavior is significantly different for synchronous and asynchronous communication even if the local behaviors of the peers remain the same. We discuss two techniques for analyzing conversations: Synchronizability and realizability analyses. Synchronizability analysis is used to identify bottom-up web service specifications for which asynchronous communication does not change the conversation behavior. Realizability analysis, on the other hand, is used to identify top-down web service specifications which are realizable using asynchronous communication. We show that using the synchron...

• Type: Journal
• Year: 2006
• Where: INTERNET
• Authors: Tevfik Bultan, Jianwen Su, Xiang Fu
• Keywords: Asynchronous Communication, Conversation Behavior, INTERNET 2006, Web Service