Repository logo
 
Publication

Towards compensation correctness in interactive systems

2009Conference object Restricted access
Simple item page
dc.contributor.authorVaz, Cátia
dc.contributor.authorFerreira, Carla
dc.date.accessioned2021-05-13T09:18:20Z
dc.date.available2021-05-13T09:18:20Z
dc.date.issued2009
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 failure 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 failure recovery. Under our theory, we formally interpret self-healing compositions, that can detect and recover from failures, as correct compositions of compensable processes.pt_PT
dc.description.versioninfo:eu-repo/semantics/publishedVersionpt_PT
dc.identifier.citationVAZ, Cátia; FERREIRA, Carla – Towards compensation correctness in interactive systems. In WS-FM 2009: Web Services and Formal Methods (6th International Workshop, WS-FM 2009). Bolonha, Italy: Springer, 2009. Lecture Notes in Computer Science. ISBN 978-3-642-14458-5. Vol. 6194, pp. 161-177pt_PT
dc.identifier.doi10.1007/978-3-642-14458-5_10pt_PT
dc.identifier.isbn978-3-642-14458-5
dc.identifier.isbn978-3-642-14457-8
dc.identifier.urihttp://hdl.handle.net/10400.21/13342
dc.language.isoengpt_PT
dc.publisherSpringerpt_PT
dc.relationProject FET-GC II IST-2005-16004 Sensoriapt_PT
dc.subjectService compositionpt_PT
dc.subjectCorrectness mappingpt_PT
dc.subjectOperational semanticpt_PT
dc.subjectParallel compositionpt_PT
dc.subjectLabel transition systempt_PT
dc.titleTowards compensation correctness in interactive systemspt_PT
dc.typeconference object
dspace.entity.typePublication
oaire.awardURIinfo:eu-repo/grantAgreement/FCT/SFRH/SFRH%2FBD%2F45572%2F2008/PT
oaire.citation.conferencePlaceSeptember 4-5, 2009 - Bologna, Italypt_PT
oaire.citation.endPage177pt_PT
oaire.citation.startPage161pt_PT
oaire.citation.titleWS-FM 2009: Web Services and Formal Methods (6th International Workshop, WS-FM 2009)pt_PT
oaire.citation.volume6194pt_PT
oaire.fundingStreamSFRH
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
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.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:
Towards_CVaz.pdf
Size:
303.59 KB
Format:
Adobe Portable Document Format
Download

Collections

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