@inproceedings{274f5bf650e74ba7a1fea2f1cae7cb71,
title = "An approach to tackle livelock-freedom in SOA",
abstract = "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.",
author = "C. Stahl and K. Wolf",
year = "2008",
language = "English",
series = "CEUR Workshop Proceedings",
publisher = "CEUR-WS.org",
pages = "69--74",
editor = "N. Lohmann and K. Wolf",
booktitle = "15th German Workshop on Algorithms and Tools for Petri Nets (Algorithmen und Werkzeuge f{\"u}r Petrinetze, AWPN 2008, Rostock, Germany, September 26-27, 2008)",
}