Fábio Favarim,  Joni da S. Fraga,  Eduardo Adílio Pelinson Alchieri,  Alysson Neves Bessani,  Lau Cheuk Lung. 

O uso de espaços de tuplas tem se mostrado uma solução atrativa para coordenação entre processos em sistemas distribuídos abertos. Dada a heterogeneidade e volatilidade destes sistemas, seus processos estão sujeitos a falhas que podem levar a inconsistências no estado do espaco de tuplas. O emprego de transações trata desse problema, pois permite que conjuntos de operações sejam executados de forma integral, mesmo em caso de falhas dos processos. Este trabalho apresenta um modelo de transações para espaços de tuplas que garante as propriedades ACID mesmo em ambientes sujeitos a falhas bizantinas. O modelo foi implementando e integrado ao DEPSPACE, uma implementação de espaços de tuplas que suporta atributos de segurança de funcionamento. Para validar o modelo e sua implementação, é apresentado um conjunto de experimentos que mensuram o custo das transações no DEPSPACE.

http://www.lbd.dcc.ufmg.br:8080/colecoes/sbrc/2008/060.pdf

Processando consulta.