Analyzing conversations of Web services
Bultan, T.
Su, J.
Fu, X.
Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA;
This paper appears in: Internet Computing, IEEE
Publication Date: Jan.-Feb. 2006
Volume: 10,
Issue: 1
On page(s): 18- 25
ISSN: 1089-7801
INSPEC Accession Number: 8753452
Digital Object Identifier: 10.1109/MIC.2006.1
Current Version Published: 2006-01-23
Abstract
A composite Web service consists of a set of individual services (or peers), which interact with each other via messages. A conversation is a global sequence of messages exchanged among peers participating in a composite Web service. Interestingly, conversation behavior differs significantly for synchronous and asynchronous communication, even if peers' local behaviors remain the same. The authors use synchronizability and realizability analysis techniques to analyze conversations in the presence of asynchronous communication. With these analyses, they can use model checking to automatically verify conversation behavior for bottom-up and top-down Web service specifications.
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
