2010 | OriginalPaper | Buchkapitel
On the Expressive Power of Primitives for Compensation Handling
verfasst von : Ivan Lanese, Cátia Vaz, Carla Ferreira
Erschienen in: Programming Languages and Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) the problem is usually tackled using long running transactions and compensations: activities programmed to recover partial executions of long running transactions.
We compare the expressive power of different approaches to the specification of those compensations. We consider (i)
static recovery
, where the compensation is statically defined together with the transaction, (ii)
parallel recovery
, where the compensation is dynamically built as parallel composition of compensation elements and (iii)
general dynamic recovery
, where more refined ways of composing compensation elements are provided. We define an encoding of parallel recovery into static recovery enjoying nice compositionality properties, showing that the two approaches have the same expressive power. We also show that no such encoding of general dynamic recovery into static recovery is possible, i.e. general dynamic recovery is strictly more expressive.