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

7.1. MODELO GERAL 105
encomenda de um produto, propondo duas possíveis alternativas.
A execução de uma transacção móvel corresponde sempre à execução do seu programa numa cópia
da base de dados. As transacções móveis são executadas imediatamente no cliente produzindo um re-
sultado provisório (e modificando o estado da versão provisória dos dados). As transacções móveis são
posteriormente propagadas para o servidor onde são reexecutadas. O resultado definitivo de uma tran-
sacção móvel (e o modo como afecta a cópia principal dos dados) resulta da sua execução no servidor.
O modelo de execução das transacções móveis, com o resultado definitivo a ser determinado pela
execução do código da transacção no servidor, permite a definição de regras de detecção e resolução
de conflitos específicas para cada operação. Estas regras devem garantir o respeito pelas intenções dos
utilizadores explorando a informação semântica associada aos tipos de dados e operações definidas. A
transacção da figura 7.1 exemplifica algumas das estratégias que podem ser utilizadas.
Primeiro, as pré-condições para a execução da operação são especificadas de forma exacta (condi-
ções das linhas 8 e 16). Assim, a transacção não é abortada se os valores observados no cliente e no
servidor forem diferentes, mas apenas se as condições expressas forem violadas. Esta aproximação per-
mite reduzir o número de falsos conflitos detectados, quando comparada com as técnicas que forçam a
igualdade dos valores lidos no cliente e no servidor (usuais em sistemas de bases de dados). Segundo,
a transacção especifica várias alternativas. Esta aproximação representa uma forma simples de resolver
eventuais conflitos desde que uma das alternativas seja possível.
Uma aplicação pode submeter transacções móveis que modifiquem dados não replicados no cliente.
Neste caso, apesar de não ser possível obter um resultado provisório, a transacção pode ser propagada
para o servidor onde o resultado final é obtido executando o programa da transacção na base de dados
do servidor. Esta aproximação permite aos utilizadores continuarem o seu trabalho mesmo quando não
é possível obter uma cópia dos dados (como se referiu na secção 2.3.6).
Quando o resultado definitivo de uma transacção móvel é obtido no servidor, os utilizadores podem
já não estar a utilizar o sistema. Assim, como se referiu na secção 2.3.4, é importante integrar um
mecanismo que possibilite informar os utilizadores sobre os resultados definitivos das suas operações.
No sistema Mobisnap, definiu-se uma função que pode ser usada nas transacções móveis para enviar
mensagens aos utilizadores através de diferentes transportes. Esta função é processada de forma especial
pelo sistema, apenas produzindo efeito na execução definitiva da transacção móvel. Adicionalmente, o
sistema encarrega-se de garantir a propagação destas mensagens através do transporte indicado.
Reservas A possibilidade de garantir o resultado de uma transacção móvel de forma independente tem
várias vantagens, como se discutiu na secção 2.3.7. Primeiro, permite suportar de forma mais adequada a
operação em situações de desconexão. Segundo, mesmo quando é possível contactar o servidor, permite
reduzir o tempo de execução das operações e gerir de forma mais eficiente as comunicações entre os