Repository logo
 
Publication

Dynamic recovering of long running transactions

2009Conference object Restricted access
Simple item page
dc.contributor.authorVaz, Cátia
dc.contributor.authorFerreira, Carla
dc.contributor.authorRavara, António
dc.date.accessioned2021-05-12T17:36:42Z
dc.date.available2021-05-12T17:36:42Z
dc.date.issued2009
dc.description.abstractMost business applications rely on the notion of long running transaction as a fundamental building block. This paper presents a calculus for modelling long running transactions within the framework of the π-calculus, with support for compensation as a recovery mechanism. The underlying model of this calculus is the asynchronous polyadic π-calculus, with transaction scopes and dynamic installation of compensation processes. We add to the framework a type system which guarantees that transactions are unequivocally identified, ensuring that upon a failure the correct compensation process is invoked. Moreover, the operational semantics of the calculus ensures both installation and activation of the compensation of a transaction.pt_PT
dc.description.versioninfo:eu-repo/semantics/publishedVersionpt_PT
dc.identifier.citationVaz C., Ferreira C., Ravara A; RAVARA, António – 2009 Dynamic Recovering of Long Running Transactions. In: Kaklamanis – TGC 2008. Lecture Notes in Computer Science, ISBN 978-3-642-00944-0. Vol. 5474, pp. 201-215pt_PT
dc.identifier.doi10.1007/978-3-642-00945-7_13pt_PT
dc.identifier.urihttp://hdl.handle.net/10400.21/13341
dc.language.isoengpt_PT
dc.peerreviewedyespt_PT
dc.publisherSpringer Naturept_PT
dc.relationIST–2005–16004 - EU IST Global Computing project Sensoriapt_PT
dc.relationBEHAVIOURAL TYPES FOR OBJECT-ORIENTED LANGUAGES
dc.subjectOperational semanticpt_PT
dc.subjectExecution processpt_PT
dc.subjectCompensation processpt_PT
dc.subjectExecution contextpt_PT
dc.subjectType safetypt_PT
dc.titleDynamic recovering of long running transactionspt_PT
dc.typeconference object
dspace.entity.typePublication
oaire.awardTitleBEHAVIOURAL TYPES FOR OBJECT-ORIENTED LANGUAGES
oaire.awardURIinfo:eu-repo/grantAgreement/FCT//SFRH%2FBSAB%2F757%2F2007/PT
oaire.citation.conferencePlaceNovember 3-4, 2008 - Barcelona, Spainpt_PT
oaire.citation.endPage215pt_PT
oaire.citation.startPage201pt_PT
oaire.citation.title4th International Symposium, TGC 2008pt_PT
oaire.citation.volume5474,pt_PT
person.familyNameVaz
person.familyNameRavara
person.givenNameCátia
person.givenNameAntónio
person.identifierHuxP2pUAAAAJ
person.identifier.ciencia-id8718-741E-BBD9
person.identifier.ciencia-id6E1A-AC5F-7D16
person.identifier.orcid0000-0001-6074-3074
person.identifier.orcid0000-0001-8074-0380
person.identifier.ridADC-1473-2022
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.isAuthorOfPublication0c5cb0fd-7cd7-4a16-86a8-7a68188e53ff
relation.isAuthorOfPublicationd7dcec5a-72ea-4e1f-b7a8-7091575bbef2
relation.isAuthorOfPublication.latestForDiscoveryd7dcec5a-72ea-4e1f-b7a8-7091575bbef2
relation.isProjectOfPublicationdd1dfa5d-140e-4693-8000-5ae15c486cd5
relation.isProjectOfPublication.latestForDiscoverydd1dfa5d-140e-4693-8000-5ae15c486cd5

Files

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Dynamic_CVaz.pdf
Size:
1.71 MB
Format:
Adobe Portable Document Format
Download

Collections

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