Perspectiva Global

Sendo óbvio que a representação dada aos dados na aplicação é inaceitável para ser manipulada pelo utilizador e não pode ser utilizada no Controlador de Diálogo, um valor poderá ter até três representações distintas dentro do sistema interactivo. Uma, a representação dos dados na aplicação, a que chamaremos representação semântica a qual é da responsabilidade da camada computacional; outra, a representação no Controlador de Diálogo, a que chamaremos representação sintáctica dos valores; outra, ainda, a representação dos valores na apresentação, a qual será especificada no Modelo da Apresentação (sendo uma de um conjunto de representações possíveis) e a que chamaremos representação léxica. Torna-se então necessário efectuar a tradução entre as diversas representações de modo a que um valor na aplicação possa ser passado para a apresentação e vice-versa. A tradução entre os níveis semântico e sintáctico é naturalmente feita pelo Modelo da Aplicação, já que a representação semântica depende da aplicação em causa. As funções de tradução serão as funções de refinamento e retrieve obtidas durante o processo de refinamento da especificação [Oli90]. A tradução entre os níveis léxico e sintáctico será, de modo equivalente, feita pelo Modelo da Apresentação, que neste caso recorre ao Modelo da Aplicação para validar semanticamente os valores lidos.

Convém, ainda, referir aqui o modo como os diferentes Guiões de Interacção vão sendo activados. Consideremos a expressão EVSEQ do Guião ViewConsPal apresentado na secção 5.2:

DoConsPal(sig)

Como foi visto, este evento dá origem a três transições: start(DoConsPal(sig)), end(DoConsPal(sig)) e cancel(DoConsPal(sig)). Quando o utilizador selecciona o evento, é enviado ao Guião ViewConsPal o start do mesmo. Torna-se agora necessário activar o GI DoConsPal. Duas hipóteses foram consideradas:

• A activação ser efectuada pelo Controlador de Diálogo, que a comunicará ao Modelo da Apresentação. Neste caso o valor de sig não necessita de passar por este último.
• A activação ser feita pelo Modelo da Apresentação. Neste caso ele enviará o start do evento a ViewConsPal, dará ordem para activação de DoConsPal e quando este terminar, enviará ao primeiro o end do evento com o valor devolvido pelo segundo.

Duas ordens de factores levaram a optar pela segunda solução. Primeiro, porque como a verificação dos invariantes é feita ao nível da Apresentação, é necessário que o valor sintetizado pelos Guiões lhe seja comunicado para se preceder à referida verificação. Depois, como o Modelo da Apresentação necessita saber a hierarquia dos objectos léxicos criados e dos respectivos Guiões que os controlam, à partida já preenche o requisito mencionado anteriormente.