Abstract | ||
---|---|---|
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 composition of the requesting and the assigned service to interact properly. While proper interaction is often reduced to deadlock freedom of the composed system, we additionally consider livelock freedom as a desirable property for the interaction of services. In principle, deadlock- and livelock freedom can be verified by inspecting the state space of the composition of (public views of) the involved services. The contribution of this paper is to propose a methodology to build that state space from pre-computed fragments which are computed upon publishing a service. That way, we shift computation time from the time critical request phase of service brokerage to the less critical publish phase. Interestingly, our setting enables state space reduction methods that are intrinsically different from traditional state space reductions. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1109/ACSD.2009.16 | Augsburg |
Keywords | Field | DocType |
Web services,program verification,software architecture,state-space methods,system recovery,SOA scenario,deadlock verification,livelock freedom,service broker,service registry,service requester,service-oriented architecture,state space reduction method,business process composition,livelock freedom,service-oriented architecture,state space reduction | Publication,Architecture,Computer science,Deadlock,Real-time computing,Software architecture,State space reduction,Web service,State space,Service-oriented architecture,Distributed computing | Conference |
ISSN | ISBN | Citations |
1550-4808 | 978-0-7695-3697-2 | 3 |
PageRank | References | Authors |
0.39 | 15 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Karsten Wolf | 1 | 757 | 42.53 |
Christian Stahl | 2 | 3 | 0.39 |
Janine Ott | 3 | 3 | 0.39 |
Robert Danitz | 4 | 3 | 0.39 |