An Approach to Tackle Livelock-freedom in SOA

The Solid State Energy Conversion Alliance Core Technology Program Peer Review

Christian Stahl ; Karsten Wolf

Others  :  http://CEUR-WS.org/Vol-380/paper11.pdf
PID  :  49618

来源: CEUR

【 摘 要 】

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 the behavior of a service R we build the state space of their composition P⊕R which can be checked for deadlocks and livelocks. We show that this approach is applicable to realize a "find" request by a service R with a provided service P in SOA.