Georgia Southwestern State University

Displaying 1-1 of 1 results

  • White Papers // Jan 2011

    Synchronizability of Conversations Among Web Services

    This paper presents a framework for analyzing interactions among web services that communicate with asynchronous messages. The authors model the interactions among the peers participating to a composite web service as conversations, the global sequences of messages exchanged among the peers. This naturally leads to the following model checking problem:...

    Provided By Georgia Southwestern State University

  • White Papers // Jan 2011

    Synchronizability of Conversations Among Web Services

    This paper presents a framework for analyzing interactions among web services that communicate with asynchronous messages. The authors model the interactions among the peers participating to a composite web service as conversations, the global sequences of messages exchanged among the peers. This naturally leads to the following model checking problem:...

    Provided By Georgia Southwestern State University