Documente Academic
Documente Profesional
Documente Cultură
Resumo
O ambiente HySCharts (Hyperdocument System based on StateCharts) permite especificar formalmente aplicaes hipermdia segundo o modelo HMBS (Hyperdocument Model Based on Statecharts). O HMBS adota a tcnica Statecharts como modelo formal subjacente. Para provar e validar a viabilidade prtica do uso do HMBS num contexto real, desenvolveu-se um ambiente de autoria e navegao denominado HySCharts, que permite criar, interpretar e executar especificaes formais de aplicaes hipermdia segundo o modelo HMBS, alm de oferecer facilidades para prototipao rpida e simulao interativa.
1. Introduo A demanda por aplicaes que utilizam a tecnologia hipermdia encontra-se em contnua expanso devido, principalmente, disseminao da World Wide Web (WWW). Os sistemas baseados na tecnologia hipermdia e as aplicaes e/ou documentos por eles gerenciados, denominados hiperdocumentos ou aplicaes hipermdia, so produtos de software que devem se beneficiar de modelos de especificao e mtodos a fim de sistematizar o seu processo de desenvolvimento. Neste trabalho apresentada uma ferramenta de especificao de aplicaes hipermdia baseada na tcnica Statecharts chamada HySCharts - Hyperdocument System based on StateCharts (Turine et. al. 1998, Turine et. al. 1999). O HySCharts foi desenvolvido como um sistema de suporte automatizado, oferecendo ambientes de autoria e de navegao que permitem criar e validar especificaes de aplicaes hipermdia segundo o modelo HMBS Hyperdocument Model Based on Statecharts (Turine et al. 1997, Turine 1998). A descrio do sistema HySCharts o principal objetivo deste trabalho, que est organizado da seguinte forma: na Seo 2 apresentada a definio do HMBS, na Seo 3 descrito o ambiente HySCharts, com nfase nos mdulos de autoria e de navegao e, finalmente, na Seo 4, so apresentadas as concluses. 2. HMBS: Um Modelo Baseado em Statecharts A principal caracterstica do modelo HMBS a utilizao de Statecharts (Harel et al. 1987) como tcnica subjacente para especificar a estrutura organizacional e a semntica de navegao de aplicaes grandes e complexas, de maneira similar ao uso de Redes de Petri pelo modelo Trellis (Stotts; Furuta 1989). O modelo HMBS no inclui mecanismos para especificar requisitos temporais e de sincronizao relativos apresentao de informaes multimdia. Uma extenso deste modelo para tal finalidade o XHMBS (eXtended Hyperdocument Model Based on Statecharts) (Paulo et al. 1997). Segundo Turine (1998), uma aplicao hipermdia H definida no HMBS como uma 7tupla H = <ST, P, m, L, pl, ae, N>, na qual: ST representa o Statechart (Harel et al., 1987) subjacente aplicao; P = <c, t, Ancp> o conjunto finito de pginas de informao, tal que "c" a poro de informao (composta por mdias estticas ou dinmicas), "t" representa o
ttulo associado pgina, e Ancp define uma coleo de ncoras contidas na pgina; m:SSP denota uma funo que mapeia estados compostos do tipo OR e estados atmicos do Statechart em pginas, L define o conjunto de canais de apresentao invocados para interpretar e visualizar as pginas durante a navegao; pl: PL define a funo de visualizao que associa cada pgina pP a um nico canal L capaz de interpret-la; ae: AncpE define a funo que associa elementos ap (ap Ancp) a eventos do Statechart, definindo as transies a serem disparadas; N (N 0) define o nvel de visibilidade da aplicao hipermdia, ou seja, a profundidade hierrquica a ser apresentada durante a navegao. 3. O Ambiente HySCharts O ambiente HySCharts foi projetado especificamente para criar, interpretar e executar especificaes segundo o modelo HMBS. A arquitetura do HySCharts composta por trs camadas principais, denominadas camadas de aplicao, de estruturao e de armazenamento (Figura 1). A primeira subdivide-se nos mdulos de autoria e de navegao. A camada de estruturao o ncleo do sistema, pois define a estrutura interna do hiperdocumento. Todos esses objetos so armazenados em bases de dados gerenciadas por funes da camada de armazenamento.
Autor Leitor Camada de Aplicao AUTORIA
Editor Grfico (EGS + EGHMBS)
Simulador de Statecharts
NAVEGAO
Analisador LES
Browser
Legenda: LES - Linguagem de Especificao de Statecharts EGS - Editor Grfico de Statecharts EGHMBS - Editor Grfico dos Objetos HMBS
3.1. Mdulo de Autoria Durante a atividade de autoria o autor especifica visualmente os objetos estruturais (objetos definidos pelo Statechart), os objetos navegacionais (pginas e ligaes) e de apresentao (canais). Inicialmente, o autor especifica a estrutura organizacional da aplicao hipermdia (Statechart subjacente) utilizando um editor grfico (EGS - Editor Grfico de Statecharts). A estrutura organizacional apresentada na Figura 2 retrata a estrutura de uma aplicao que apresenta o Parque Ecolgico de So Carlos (PESC). Aps especificar a estrutura, o autor utiliza um editor grfico de objetos HMBS (EGHMBS), que contm ferramentas para criar e gerenciar pginas, ncoras e canais. Tendo criado as pginas e seus objetos de apresentao canal, o autor associa-as aos estados. Em seguida, especifica-se os objetos navegacionais ncora que habilitam as ligaes do hiperdocumento. 3.2. Mdulo de Navegao A semntica de navegao adotada no HMBS define as pginas a serem apresentadas durante a navegao, que ncoras so habilitadas e quais as transformaes navegacionais que ocorrem durante a interao com o leitor. Para tornar disponvel aos leitores o contedo da aplicao hipermdia, as especificaes em HMBS devem ser interpretadas e executadas no mdulo de navegao segundo a semntica de navegao do modelo. O HySCharts dispe de uma mquina de Statecharts associada ao Browser (Figura 1) que recebe os eventos externos (aes do leitor) e os interpreta, modificando a apresentao. A navegao pode ser iniciada pela configurao de contexto inicial CC0 (pginas da configurao de estados inicial do Statechart). Considerando a Figura 2, CC0={PIdent_Texto, PIdent_Video} e N = 0, o leitor visualiza duas janelas (pginas de informao) na Figura 3: uma janela do tipo texto (ttulo State: Ident_Texto Title: Home) e outra do tipo vdeo (ttulo State: Ident_Video). A janela de ttulo Show_Hview (Mostra Viso Hierrquica) sempre apresentada durante a navegao e permite explorar naturalmente a hierarquia da aplicao hipermdia. Ainda na Figura 3, o autor pode exibir a representao grfica da estrutura navegacional da aplicao em simulao. Dessa forma, pode-se executar a aplicao e observar, graficamente, o efeito na apresentao. Tal abordagem pode ser til para simular interativamente a apresentao do hiperdocumento, permitindo analisar seu comportamento. 4. Concluses Este trabalho apresentou o HySCharts, um ambiente de autoria e navegao de hiperdocumentos especificados segundo o modelo formal HMBS. O ambiente fornece facilidades de prototipao rpida e simulao interativa da estrutura navegacional subjacente ao hiperdocumento. O formalismo proposto no HMBS permite ao autor especificar a estrutura (organizacional e navegacional) e o comportamento de hiperdocumentos de modo preciso e semanticamente rigoroso, encorajando o desenvolvimento de hiperdocumentos estruturados. Na literatura existem outras ferramentas, por exemplo, RMCase - Relationship Management Case Tool (Daz et al. 1995) - e Trellis (Stotts; Furuta 1989), porm nenhuma utiliza Statecharts como tcnica subjacente. De maneira geral, o ambiente HySCharts foi projetado e desenvolvido para provar e validar a possibilidade prtica de uso do HMBS num contexto real, oferecendo, alm da navegao tradicional, um novo mecanismo de navegao hierrquica (Show_Hview), que possibilita ao leitor navegar pelas pginas associadas a estados acima ou abaixo do nvel de hierarquia definido pelo autor, contribuindo para minimizar a sua eventual desorientao. Agradecimentos Os autores agradecem o apoio financeiro recebido do CNPq e da FAPESP.