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

72 CAPÍTULO 5. AVALIAÇÃO DO MODELO DO SISTEMA DOORS
nenhuma informação é perdida. Segundo, quando um utilizador move um elemento que é removido
concorrentemente. Neste caso, a referência é removida 2 , pelo que o subobjecto não reflecte o efeito da
operação que move a referência. Esta situação é semelhante à remoção da referência de um elemento bá-
sico concorrentemente com a sua modificação: a modificação perde-se porque o subobjecto é removido.
Para diminuir a probabilidade destas situações, o editor força a remoção de um elemento em dois
passos que devem ser executados explicitamente pelos utilizadores. Num primeiro passo, o utilizador
pode pré-remover um elemento — a operação de pré-remoção é submetida. No segundo passo, o utili-
zador pode remover um subobjecto pré-removido — a operação que remove a referência do elemento é
submetida na lista de referências respectiva. Relativamente a subobjectos pré-removidos, o editor apenas
permite executar duas operações: remover e restaurar.
O coobjecto documento estruturado base é um coobjecto comum baseado na cápsula simples (os
componentes utilizados estão descritos na secção 3.3).
No servidor, é necessário usar um componente de reconciliação optimista que execute as operações
por ordem total (neste caso, utiliza-se o componente baseado na verificação da estabilidade da ordem),
de forma a garantir a convergência das várias réplicas e permitir a observação do efeito de todas as
operações conhecidas (ainda que de forma provisória). Relativamente aos componentes de adaptação e
registo usam-se as implementações mais simples para o servidor.
No cliente, usam-se as implementações mais simples para o componente de reconciliação e de re-
gisto. Na execução normal, usa-se o componente de adaptação que executa as operações localmente.
Como se detalha mais tarde, durante a execução síncrona usa-se um componente de adaptação especial
(descrito na secção 4.4). Para permitir a substituição do componente de adaptação numa instância do
coobjecto, é necessário indicar a validade da substituição numa operação definida na cápsula do coob-
jecto — para tal, criou-se uma nova cápsula derivada da cápsula simples a usar no coobjecto documento
estruturado.
Relativamente à informação de awareness, usa-se o componente que mantém essa informação como
uma lista das mensagens produzidas pela execução das operações. As operações definidas nos subob-
jectos produzem mensagens simples indicando quais as alterações executadas. O editor permite aos
utilizadores consultar a lista de modificações de forma a tomarem conhecimento da evolução do docu-
mento 3 .
Para criar um tipo de documento específico é necessário definir quais os tipos de elementos básicos
permitidos e a sua possível configuração.
2 Existe uma excepção no caso de se mover a referência para outro subobjecto e essa operação ser executada primeiro.
3 Esta informação pode ser tratada pelo editor de forma diferente — por exemplo, pode usar cores diferentes para representar
os elementos que foram modificados recentemente (a esta forma de apresentar a informação de awareness é usual chamar-se
consciência partilhada (shared feedback) [43]).