Repository logo
 
Publication

On the expressive power of primitives for compensation handling

2010Conference object Restricted access
Simple item page
dc.contributor.authorLanese, Ivan
dc.contributor.authorVaz, Cátia
dc.contributor.authorFerreira, Carla
dc.date.accessioned2021-05-12T10:23:08Z
dc.date.available2021-05-12T10:23:08Z
dc.date.issued2010
dc.description.abstractModern 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.pt_PT
dc.description.versioninfo:eu-repo/semantics/publishedVersionpt_PT
dc.identifier.citationLANESE, 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-386pt_PT
dc.identifier.doi10.1007/978-3-642-11957-6_20pt_PT
dc.identifier.isbn978-3-642-11957-6
dc.identifier.urihttp://hdl.handle.net/10400.21/13330
dc.language.isoengpt_PT
dc.publisherSpringer Verlagpt_PT
dc.relationProject FET-GC II IST-2005-16004 Sensoriapt_PT
dc.relationFP7- 231620 HATSpt_PT
dc.subjectOperational semanticpt_PT
dc.subjectExpressive powerpt_PT
dc.subjectParallel compositionpt_PT
dc.subjectLabel transition systempt_PT
dc.subjectStatic recoverypt_PT
dc.titleOn the expressive power of primitives for compensation handlingpt_PT
dc.typeconference object
dspace.entity.typePublication
oaire.awardURIinfo:eu-repo/grantAgreement/FCT/SFRH/SFRH%2FBD%2F45572%2F2008/PT
oaire.citation.conferencePlaceMarch 20-28, 2010 - Paphos, Cypruspt_PT
oaire.citation.endPage386pt_PT
oaire.citation.startPage366pt_PT
oaire.citation.titleESOP 2010: Programming Languages and Systemspt_PT
oaire.citation.volume6012pt_PT
oaire.fundingStreamSFRH
person.familyNameLanese
person.familyNameVaz
person.givenNameIvan
person.givenNameCátia
person.identifier.ciencia-id8718-741E-BBD9
person.identifier.orcid0000-0003-2527-9995
person.identifier.orcid0000-0001-6074-3074
person.identifier.ridADC-1473-2022
person.identifier.scopus-author-id8984182000
person.identifier.scopus-author-id27267941600
project.funder.identifierhttp://doi.org/10.13039/501100001871
project.funder.nameFundação para a Ciência e a Tecnologia
rcaap.rightsclosedAccesspt_PT
rcaap.typeconferenceObjectpt_PT
relation.isAuthorOfPublication075ccb6b-7f2f-48bc-869b-e05be2ca9f05
relation.isAuthorOfPublication0c5cb0fd-7cd7-4a16-86a8-7a68188e53ff
relation.isAuthorOfPublication.latestForDiscovery0c5cb0fd-7cd7-4a16-86a8-7a68188e53ff
relation.isProjectOfPublication4a904272-61f8-41d2-8265-22e30595a0b0
relation.isProjectOfPublication.latestForDiscovery4a904272-61f8-41d2-8265-22e30595a0b0

Files

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
On the expressive_CVaz.pdf
Size:
335.06 KB
Format:
Adobe Portable Document Format
Download

Collections

ISEL - Eng. Elect. Tel. Comp. - Comunicações