HySCharts: UM AMBIENTE DE AUTORIA E NAVEGAO PARA A ESPECIFICAO FORMAL DE APLICAES HIPERMDIA

Marcelo Augusto Santos Turine

Faculdade SENAC de Cincias Exatas e Tecnologia So Paulo, SP, Brasil turine@sp.senac.br

Maria Cristina Ferreira de Oliveira Paulo Cesar Masiero

Instituto de Cincias Matemticas e de Computao Universidade de So Paulo, USP, So Carlos, SP, Brasil {cristina/masiero}@icmc.sc.usp.br

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

Simulao Visual e Textual

Browser

Camada de Estruturao Objetos HMBS Objetos Estruturais

(Statechart)

Objetos Navegacionais e de Apresentaco Camada de Armazenamento

Base de Dados HMBS Base de Dados da especificao em Statechart

Base de Dados dos Objetos Navegacionais e de Apresentao

Legenda: LES - Linguagem de Especificao de Statecharts EGS - Editor Grfico de Statecharts EGHMBS - Editor Grfico dos Objetos HMBS

Figura 1: Arquitetura do ambiente HySCharts.

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.

Figura 2: Estrutura organizacional do hiperdocumento PESC, segundo modelo HMBS.

Figura 3: Janela de navegao inicial considerando o Statechart da Figura 2. Referncias

Harel, D.; Pnueli, A.; Schmidt, J.P.; Sherman, R. On the formal semantics of statecharts. Proc. 2nd IEEE Symposium on Logic in Computer Science, Ithaca, New York, 1987, 54-64. Paulo, F.B.; Masiero, P. C.; de Oliveira, M. C. F. Hypercharts: extended statecharts to support hypermedia specification. Proc. ICECCS, Third IEEE International Conference on Engineering of Complex Computer Systems, Como, Italy, September 8-12 1997, 152-61. Stotts, P.D.; Furuta, R. Petri Net based hypertext: document structure with browsing semantics. ACM Transactions on Information Systems, 7(1), Janeiro 1989, 3-29. Turine, M.A.S.; de Oliveira, M.C.F.; Masiero, P.C. Designing structured hypertext with HMBS. Proc. Hypertext97, VIII Int. ACM Hypertext Conference, Southampton, April 6-11 1997, 241-56. Turine, M.A.S. HMBS: Um Modelo Baseado em Statecharts para a Especificao Formal de Hiperdocumentos. Tese de Doutorado, Junho, IFSC, USP, So Carlos, 1998. Turine, M.A.S.; de Oliveira, M.C.F.; Masiero, P.C. HySCharts: A Statechart-Based Environment for Hyperdocument Authoring and Browsing. Multimedia and Applications Tools, 8(3), May 1999, 309-24. Daz, A.; Isakowitz, T.; Maiorana, V.; Gilabert, G. RMCase: a tool to design WWW applications. World Wide Web Journal, 1(1), 559-66, 1995.