Repository logo
 
Publication

On the analysis of compensation correctness

2012-07Journal article Open access
Simple item page
dc.contributor.authorVaz, Cátia
dc.contributor.authorFerreira, Carla
dc.date.accessioned2015-09-07T14:19:04Z
dc.date.available2015-09-07T14:19:04Z
dc.date.issued2012-07
dc.description.abstractOne fundamental idea of service-oriented computing is that applications should be developed by composing already available services. Due to the long running nature of service interactions, a main challenge in service composition is ensuring correctness of transaction recovery. In this paper, we use a process calculus suitable for modelling long running transactions with a recovery mechanism based on compensations. Within this setting, we discuss and formally state correctness criteria for compensable processes compositions, assuming that each process is correct with respect to transaction recovery. Under our theory, we formally interpret self-healing compositions, that can detect and recover from faults, as correct compositions of compensable processes. Moreover, we develop an automated verification approach and we apply it to an illustrative case study.por
dc.identifier.citationVAZ, Cátia; FERREIRA, Carla – On the analysis of compensation correctness. Journal of Logic and Algebraic Programming. ISSN: 1567-8326. Vol. 81, N.º 5 (2012), pp. 585-605.por
dc.identifier.doi10.1016/j.jlap.2012.04.002
dc.identifier.issn1567-8326
dc.identifier.urihttp://hdl.handle.net/10400.21/5089
dc.language.isoengpor
dc.peerreviewedyespor
dc.publisherElsevier Science Incpor
dc.relationPortuguese FCT - SFRH/BD/45572/2008
dc.relationFCT (INESC-ID) through the PIDDAC Program funds
dc.subjectLong Running Transactionspor
dc.subjectCompensationspor
dc.subjectCorrectnesspor
dc.subjectFailure Handlingpor
dc.subjectProcess Calculipor
dc.subjectModel Checkingpor
dc.subjectWeb services
dc.subjectCalculus
dc.subjectTransactions
dc.subjectSemantics
dc.titleOn the analysis of compensation correctnesspor
dc.typejournal article
dspace.entity.typePublication
oaire.citation.conferencePlaceNew York
oaire.citation.endPage605por
oaire.citation.issue5por
oaire.citation.startPage585por
oaire.citation.titleJournal of Logic and Algebraic Programmingpor
oaire.citation.volume81por
person.familyNameVaz
person.givenNameCátia
person.identifier.ciencia-id8718-741E-BBD9
person.identifier.orcid0000-0001-6074-3074
person.identifier.ridADC-1473-2022
person.identifier.scopus-author-id27267941600
rcaap.rightsclosedAccesspor
rcaap.typearticlepor
relation.isAuthorOfPublication0c5cb0fd-7cd7-4a16-86a8-7a68188e53ff
relation.isAuthorOfPublication.latestForDiscovery0c5cb0fd-7cd7-4a16-86a8-7a68188e53ff

Files

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
ON THE ANALYSIS OF COMPENSATION CORRECTNESS.pdf
Size:
1.48 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

ISEL - Eng. Elect. Tel. Comp. - Artigos