ic06 - Analyzing Conversations of Web Services Tevfik...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
1 Analyzing Conversations of Web Services Tevfik Bultan 1 Xiang Fu 2 Jianwen Su 1 1 Department of Computer Science, University of California, Santa Barbara Santa Barbara, CA 91306, USA. {bultan, su}@cs.ucsb.edu. 2 School of Computer and Information Sciences, Georgia Southwestern State University Americus, GA 31709, USA. xfu@canes.gsw.edu. Abstract 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 synchronizability and realizability analyses it is possible to automatically verify conversation behavior for bottom-up and top- down web service specifications using model checking. Categories and Subject Descriptors H.1.1 [ Models and Principles ]: Systems and Information Theory (E.4) formal models of communication ; D.2.4 [ Software Engineering ]: Software/Program Verification formal methods, model checking General Terms Verification, Design Keywords Web services, asynchronous communication, conversations, synchronizability, realizability, model checking. Introduction Browser-based web accessible software applications have been the driving force behind electronic commerce. Nowadays one can look for and buy almost anything online, from a book to a car, using such applications. However, the success of the web technology in business-to-consumer applications does not immediately translate to business-to-business applications. Integrating business processes of different organizations through web accessible software components faces several hurdles: Different organizations could use different, incompatible implementation platforms. Given that there are competing implementation platforms such as .NET and J2EE, this is very likely to happen. Organizations may not want to share the internal details of their applications which can hinder integration.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
2 No organization would want their application to get stuck due to pauses in availability of a software component residing in another organization. Organizations may not tolerate such pauses in availability and slow data transmission through the Internet. Web services standards and technologies provide a framework for integration and interoperability of web
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 12/27/2011 for the course CMPSC 290h taught by Professor Chong during the Fall '09 term at UCSB.

Page1 / 11

ic06 - Analyzing Conversations of Web Services Tevfik...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online