EECS 500 Gultekin Ozsoyoglu Ph.D. Tuesday, January 13th, 2009 @ 11:30 AM
CS61A The Structure and Interpretation of Computer Programs Instructor Brian Harvey Spring 2008 Intr...
Miroslav Volf, the Henry B. Wright Professor of Systematic Theology and Director for the Yale Center...
How do organic chemists classify and analyze reactions? Learn more in this video.
Lecture #8 at Rockefeller University: HCS student, Antonio Galvan, presents his PowerPoint on Analyz...
IEEE |
(0) (0 Votes)
|
Views: (2016) Date: (Publication Date: Jan.-Feb. 20...) Pages: () |
Abstract: 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.