Analysis of interacting BPEL Web Services.pdf

Analysis of Interacting BPEL Web Services Xiang Fu Tevfik Bultan Jianwen Su fuxiang@ bultan@ su@ Department of Computer Science University of California Santa Barbara, CA 93106-5110 ABSTRACT 1. INTRODUCTION This paper presents a set of tools and techniques for analyz- A fundamental goal of web services is to have a collection ing interactions of composite web services which are speci- of network-resident software services accessible via standard- fied in BPEL and communicate through asynchronous XML ized protocols, whose functionality can be automatically dis- messages. We model the interactions of composite web ser- covered and integrated into applications or composed to vices as conversations, the global sequence of messages ex- form more complex services. While several established and changed by the web services. As opposed to earlier work, emerging standards bodies (e.g., [19, 24, 2, 23, 8] etc.) are our tool-set handles rich data manipulation via XPath ex- rapidly laying out the foundations that the industry will pressions. This allows us to verify designs at a more de- build upon, there are many research challenges behind web tailed level and check properties about message content. We services that are less well-defined and understood [13]. This present a framework where BPEL specifications of web ser- paper attempts to address the aspect of “global behaviors”