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

9.1. APLICAÇÕES 133
1 ------ REMOVE MARCAÇÃO: id=3476554
2 BEGIN
3 SELECT count(*) INTO cnt FROM datebook WHERE id = 3476554;
4 IF (cnt > 0) THEN
5 DELETE FROM datebook WHERE id = 3476554;
6 COMMIT;
7 END IF;
8 ROLLBACK;
9 END;
Figura 9.2: Transacção móvel que remove uma marcação numa agenda partilhada (o bloco de declaração
de variáveis é omitido).
O resultado da submissão de uma nova encomenda pode ser garantida usando reservas escrow, valu-
e-use e value-change como se descreveu na secção 8.5. Assim, os vendedores podem obter as reservas
necessárias para garantir as encomendas que esperam receber antes de se desconectarem (uma avaliação
da eficiência desta aproximação é apresentada na secção 9.2). As reservas obtidas permitem garantir que
a encomenda pode ser satisfeita com a existência do produto (stock) disponível.
Na aplicação desenvolvida, o resultado do cancelamento de uma encomenda nunca é garantida de
forma independente. Este facto resulta da decisão de permitir que o processamento das encomendas
possa ser iniciado em qualquer momento. Sem esta decisão, seria possível garantir o cancelamento
de uma encomenda obtendo uma reserva value-change sobre o registo que descreve a encomenda. No
entanto, esta reserva impede o início do processamento da encomenda no servidor porque não permite
que se actualize o seu estado.
A aplicação desenvolvida é detalhada em [32]. A interface da aplicação foi desenvolvida usando
Java servlets [157]. A aplicação executa nos clientes móveis usando o servidor de servlets Jetty [106],
cuja reduzida dimensão se adequa às características dos dispositivos móveis.
9.1.2 Agenda partilhada
No âmbito da aplicação de suporte a uma força de vendas desenvolveu-se igualmente uma aplicação de
agenda partilhada. Esta aplicação permite gerir as demonstrações de produtos executadas pelos vendedo-
res. Assim, existe uma operação que introduz uma nova demonstração (figura 8.4) e uma operações que
remove uma demonstração anteriormente marcada (figura 9.2). Estas operações podem ser executadas
pelo vendedor ou pela secretaria da empresa.
É possível confirmar independentemente o resultado da introdução de novas marcações usando re-
servas, como se explica na secção 8.5. Um vendedor pode também garantir o cancelamento das suas
marcações obtendo reservas slot sobre os registos das suas marcações.