Detection of transaction consistency problems in microservices

Detalhes bibliográficos
Autor(a) principal: Silva, André Filipe dos Santos
Data de Publicação: 2024
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Texto Completo: http://hdl.handle.net/10400.5/96881
Resumo: Tese de Mestrado, Engenharia Informática, 2024, Universidade de Lisboa, Faculdade de Ciências
id RCAP_db412ca57fc5838e78fa23b2d0f93ac6
oai_identifier_str oai:repositorio.ulisboa.pt:10400.5/96881
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Detection of transaction consistency problems in microservicesMicroserviçosConsistência de DadosTransações distribuídasAnálise estáticaLinguagem Específica de Domínio (DSL)Teses de mestrado - 2024Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e InformáticaTese de Mestrado, Engenharia Informática, 2024, Universidade de Lisboa, Faculdade de CiênciasThe widespread adoption of microservices architecture in modern software development has introduced significant challenges in maintaining data consistency across distributed services. This thesis addresses the problem of detecting transaction consistency anomalies within microservices-based systems, which are prone to issues due to the loss of isolation in distributed transactions. To tackle this problem, we propose STRIVE; a novel approach that leverages static analysis techniques to identify potential serialization anomalies in microservices. By modeling system operations and their interactions as a graph, the algorithm detects cycles that indicate possible consistency violations. This method enables the early detection of anomalies during the development phase, thereby preventing data inconsistencies that could arise after deployment. The work includes the design of a Domain-Specific Language (DSL) to facilitate the description of microservices systems, allowing developers to model their systems at a high level of abstraction without needing low-level code. The effectiveness of STRIVE is demonstrated through case studies, showing its ability to identify potential issues in various microservices architectures. Furthermore, we also identify several areas for future exploration, including the extension of the algorithm to support additional features and the refinement of the DSL. Towards improving the reliability of microservices architectures, this thesis provides a tool that enables the proactive detection of transaction consistency issues, contributing to the broader effort of making distributed systems more robust and reliable.Lopes, Maria Antónia Bacelar da CostaFonseca, Alcides Miguel Cachulo AguiarRepositório da Universidade de LisboaSilva, André Filipe dos Santos2025-01-06T17:07:57Z202420242024-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10400.5/96881TID:203879457enginfo:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2025-03-17T16:31:14Zoai:repositorio.ulisboa.pt:10400.5/96881Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-29T04:17:59.629774Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Detection of transaction consistency problems in microservices
title Detection of transaction consistency problems in microservices
spellingShingle Detection of transaction consistency problems in microservices
Silva, André Filipe dos Santos
Microserviços
Consistência de Dados
Transações distribuídas
Análise estática
Linguagem Específica de Domínio (DSL)
Teses de mestrado - 2024
Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
title_short Detection of transaction consistency problems in microservices
title_full Detection of transaction consistency problems in microservices
title_fullStr Detection of transaction consistency problems in microservices
title_full_unstemmed Detection of transaction consistency problems in microservices
title_sort Detection of transaction consistency problems in microservices
author Silva, André Filipe dos Santos
author_facet Silva, André Filipe dos Santos
author_role author
dc.contributor.none.fl_str_mv Lopes, Maria Antónia Bacelar da Costa
Fonseca, Alcides Miguel Cachulo Aguiar
Repositório da Universidade de Lisboa
dc.contributor.author.fl_str_mv Silva, André Filipe dos Santos
dc.subject.por.fl_str_mv Microserviços
Consistência de Dados
Transações distribuídas
Análise estática
Linguagem Específica de Domínio (DSL)
Teses de mestrado - 2024
Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
topic Microserviços
Consistência de Dados
Transações distribuídas
Análise estática
Linguagem Específica de Domínio (DSL)
Teses de mestrado - 2024
Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
description Tese de Mestrado, Engenharia Informática, 2024, Universidade de Lisboa, Faculdade de Ciências
publishDate 2024
dc.date.none.fl_str_mv 2024
2024
2024-01-01T00:00:00Z
2025-01-06T17:07:57Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10400.5/96881
TID:203879457
url http://hdl.handle.net/10400.5/96881
identifier_str_mv TID:203879457
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833602009996984320

Registros relacionados