Analyzing conversations of Web services

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 syn...

Full description

Saved in:
Bibliographic Details
Published inIEEE internet computing Vol. 10; no. 1; pp. 18 - 25
Main Authors Bultan, T., Su, J., Fu, X.
Format Journal Article
LanguageEnglish
Published Los Alamitos IEEE 01.01.2006
IEEE Computer Society
Subjects
Application software
Asynchronous communication
Business communication
Computation
Conversation
conversations
Data communication
Delay
Exchanging
Internet
Java
Messages
model checking
Realizability
Specifications
synchronizability
Synchronous
Web services
World Wide Web
XML
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
ObjectType-Article-2
ObjectType-Feature-1
ISSN:1089-7801
1941-0131
DOI:10.1109/MIC.2006.1