On the analysis of compensation correctness

Detalhes bibliográficos
Autor(a) principal: Vaz, Cátia
Data de Publicação: 2012
Outros Autores: Ferreira, Carla
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10400.21/5089
Resumo: One 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.
id RCAP_710655f82effa597136d38cb50f2aeae
oai_identifier_str oai:repositorio.ipl.pt:10400.21/5089
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling On the analysis of compensation correctnessLong Running TransactionsCompensationsCorrectnessFailure HandlingProcess CalculiModel CheckingWeb servicesCalculusTransactionsSemanticsOne 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.Elsevier Science IncRCIPLVaz, CátiaFerreira, Carla2015-09-07T14:19:04Z2012-072012-07-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10400.21/5089engVAZ, 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.1567-832610.1016/j.jlap.2012.04.002metadata only accessinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-08-03T09:48:00Zoai:repositorio.ipl.pt:10400.21/5089Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T20:14:24.947435Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv On the analysis of compensation correctness
title On the analysis of compensation correctness
spellingShingle On the analysis of compensation correctness
Vaz, Cátia
Long Running Transactions
Compensations
Correctness
Failure Handling
Process Calculi
Model Checking
Web services
Calculus
Transactions
Semantics
title_short On the analysis of compensation correctness
title_full On the analysis of compensation correctness
title_fullStr On the analysis of compensation correctness
title_full_unstemmed On the analysis of compensation correctness
title_sort On the analysis of compensation correctness
author Vaz, Cátia
author_facet Vaz, Cátia
Ferreira, Carla
author_role author
author2 Ferreira, Carla
author2_role author
dc.contributor.none.fl_str_mv RCIPL
dc.contributor.author.fl_str_mv Vaz, Cátia
Ferreira, Carla
dc.subject.por.fl_str_mv Long Running Transactions
Compensations
Correctness
Failure Handling
Process Calculi
Model Checking
Web services
Calculus
Transactions
Semantics
topic Long Running Transactions
Compensations
Correctness
Failure Handling
Process Calculi
Model Checking
Web services
Calculus
Transactions
Semantics
description One 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.
publishDate 2012
dc.date.none.fl_str_mv 2012-07
2012-07-01T00:00:00Z
2015-09-07T14:19:04Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10400.21/5089
url http://hdl.handle.net/10400.21/5089
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv VAZ, 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.
1567-8326
10.1016/j.jlap.2012.04.002
dc.rights.driver.fl_str_mv metadata only access
info:eu-repo/semantics/openAccess
rights_invalid_str_mv metadata only access
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Elsevier Science Inc
publisher.none.fl_str_mv Elsevier Science Inc
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799133401643483136

Registros relacionados