3 search results - page 1 / 1 » Verifying Deadlock- and Livelock Freedom in an SOA Scenario |
ACSD
2009
IEEE
13 years 11 months ago
2009
IEEE
In a service-oriented architecture (SOA), a service broker assigns a previously published service (stored in a service registry) to a service requester. It is desirable for the co...
AWPN
2008
13 years 6 months ago
2008
We calculate a fixed finite set of state space fragments for a service P, where each fragment carries a part of the whole behavior of P. By composing these fragments according to t...
CSSE
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...