主 题: Web Service Interactions: Analysis and Design
报告人: Prof. Jianwen Su (University of California at Santa Barbara)
时 间: 2007-06-11 下午 2:00
地 点: 理科一号楼 1560
A promise of the web services paradigm lies in the ease of
sharing information and resources that are provided in the form
of (web) processes. A fundamental approach to support such
sharing is a messaging mechanism, which is the core of many web
services standards (WSDL, BPEL4WS, WS-Choreography, WSCL, ...).
In this talk, we examine the concept of a "conversation" to
capture message based web service interactions in an automata
based setting. We demonstrate that the use of FIFO queues for
incoming messages has a significant impact on conversations, and
argue that it is an important design decision. We present
technical results concerning static analysis and automated
design of web services in the conversation model. We also
describe a software tool called Web Service Analysis Tool (WSAT)
that integrates the analysis and design algorithms. In
particular, WSAT can verify temporal properties of interacting
BPEL4WS services using the SPIN model checker.
