gestão de dados partilhados em ambientes de computação móvel

12.1. SUMÁRIO 195
é executado no cliente e no servidor, o que permite definir regras de detecção e resolução de conflitos
que explorem a informação semântica associada à operação (e às intenções do utilizador).
O Mobisnap integra um mecanismo de prevenção de conflitos baseado na utilização de reservas. Este
mecanismo permite garantir o resultado das transacções móveis de forma independente. Relativamente
a propostas anteriores, o mecanismo de reservas apresenta as seguintes contribuições. Primeiro, integra
vários tipos de reservas, o que se demonstrou ser fundamental para garantir o resultado de um grande nú-
mero de transacções. Segundo, o sistema verifica de forma transparente se é possível garantir o resultado
de uma transacção móvel com base no seu código e nas reservas disponíveis localmente. Esta proprie-
dade permite explorar todas as reservas para garantir qualquer transacção sem que exista necessidade de
modificar a forma como estas são escritas. Terceiro, implementa o mecanismo de reservas num sistema
baseado em SQL e de forma integrada com o modelo de execução das transacções móveis, permitindo
definir um modelo integrado que combina técnicas de prevenção e resolução de conflitos.
Resultados obtidos por simulação mostram que o mecanismo de reservas permite suportar a opera-
ção independente numa aplicação de suporte a uma força de vendas móvel. Mesmo usando estratégias
simples na obtenção de reservas, é possível garantir, de forma independente, mais de 80% das encomen-
das submetidas no pior cenário estudado, em que não existe previsão das encomendas a receber e os
vendedores não obtém reservas inicialmente.
Nesta dissertação descreve-se ainda um novo sistema genérico de reconciliação de transacções mó-
veis, o sistema SqlIceCube. Este sistema é usado quando é necessário executar um conjunto de transac-
ções móveis no servidor do sistema Mobisnap. No SqlIceCube, a reconciliação é vista como um pro-
blema de optimização que consiste em determinar a melhor sequência de transacções móveis que podem
ser executadas com sucesso. Em particular, a reconciliação é vista como um problema de planeamento
em vez de um problema de resolução de restrições (binárias), como acontecia no sistema IceCube [134],
seu antecessor. Esta aproximação permite lidar de forma correcta com pares de transacções cujos efei-
tos se anulam. Esta nova aproximação obrigou a definir um novo conjunto de relações para exprimir a
informação semântica em problemas de reconciliação. Este sistema inclui ainda um mecanismo original
de extracção automática de informação semântica a partir do código das transacções móveis. Este meca-
nismo é o primeiro a inferir automaticamente a informação necessária à reconciliação a partir do código
das operações e é fundamental para permitir a submissão de transacções móveis genéricas.
A implementação do sistema Mobisnap descrita nesta dissertação, como uma camada de sistema
intermédia (middleware), representa uma aproximação evolutiva à computação móvel. Assim, as aplica-
ções que executam o sistema Mobsnap podem utilizar as novas funcionalidades enquanto se permite que
as aplicações legadas continuem a aceder directamente à base de dados central sem nenhuma modifica-
ção. Adicionalmente, os mecanismos de reservas e reconciliação integrados no sistema são totalmente