Bidirectional distributed data aggregation

Abstract

Transforming data between two different domains is a typical problem in software engineering. Ideally such transformations should be bidirectional, so that changes in either domain can be propagated to the other one. Many of the existing bidirectional transformation frameworks are instantiations of the so called lenses [1], proposed as a solution to the well-known view-update problem: if we construct a view that abstracts information in a source domain, how can changes in the view be propagated back to the source? The goal of a distributed data aggregation algorithm is precisely to compute in one or more network nodes a local view of a given global property of interest. As expected, such algorithms react to updates in the distributed input values, but so far no mechanisms were proposed to bidirectionalize them, so that updates in the computed view can be reflected back to the inputs. The goal of this thesis is precisely to research the viability of such bidirectionalizon in a distributed setting.

Transformação de dados entre dois domínios distintos é um problema típico em engenharia de software. Idealmente tais transformações deveriam ser bidireccionais, e assim essas modificações poderiam ser propagadas de qualquer domínio para o outro. Muitas das ferramentas existentes para transformação bidireccional são variações das chamadas lentes, propostas como solução para o bem conhecido problema view-update: se construirmos uma vista que abstrai a informação de uma fonte de informação, como podem as modificações na vista serem propagadas de volta para a fonte de informação? O objectivo de um algoritmo distribuído de agregação é precisamente obter em um ou mais nodos da rede uma vista local resultante de uma dada propriedade global de interesse. Como esperado, tais algoritmos reagem a modificações nos valores de entrada, mas até agora nenhum mecanismo foi proposto para a sua bidireccionalização, ou seja, em para permitir modificações na vista obtida possam ser refletidas nos valores de entrada nos nós da rede. O objectivo desta tese é precisa- mente investigar qual a viabilidade dessa bidireccionalização em cenários distribuídos.