| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 335.06 KB | Adobe PDF |
Advisor(s)
Abstract(s)
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.
Description
Keywords
Operational semantic Expressive power Parallel composition Label transition system Static recovery
Citation
LANESE, Ivan; VAZ, Cátia; FERREIRA, Carla – On the expressive power of primitives for compensation handling. In ESOP 2010: Programming Languages and Systems (19th European Symposium on Programming (ESOP 2010), Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010). Paphos, Cyprus: Springer, 2010. ISBN: 978-3-642-11957-6. Vol. 6012, pp. 366-386
Publisher
Springer Verlag