Especificação de um Modelo Formal para Aplicações em Sistemas Hipermídia Abertos

  • Aline Maria Malachini Miotto USP
  • Renata Pontin de Mattos Fortes USP

Resumo


Uma tendência no projeto de sistemas hipermídia é o desenvolvimento de sistemas que sejam abertos, extensíveis e distribuídos entre diferentes usuários. Na última década vários sistemas hipermídia abertos foram apresentados na literatura. Nesse contexto, técnicas formais vêm se tornando uma ferramenta muito útil para especificação de aplicações hipermídia (e por conseguinte, de aplicações em sistemas hipermídia abertos) por possibilitar que determinada solução especificada seja precisa, não ambígua, independente de sua implementação e reutilizável. Além disso, modelos formais adequados podem oferecer abordagens sistemáticas e confiáveis para a análise e verificação de propriedades estruturais e dinâmicas dessas aplicações. Este projeto de mestrado tem como objetivo verificar a adequação do modelo formal XHMBS (eXtended Hypertext Model Based on Statecharts) em relação à especificação de aplicações em sistemas hipermídia abertos e, se necessário, propor extensões a esse modelo para permitir a especificação de tais aplicações.

Palavras-chave: Sistemas Hipermídia Abertos, Modelo Formal

Referências

Courtiat, J. P.; Oliveira, R. C. D. Proving temporal consistency in a new multimedia synchronization model. In: Proceedings of the ACM Multimedia, Boston, MA, USA, 1996.

Davis, H.; Knight, S.; Hall, W. Light hypermedia link services: a study of third-party applications integration. In: Proceedings of ECHT'94, ACM Press, p.41-50, 1994.

Davis, H.; Lewis, A.; Rizk, A. OHP: A draft proposal for a standard open hypermedia protocol. In: Proceedings of the 2nd Workshop on Open Hypermedia Systems, Irvine, USA, p.27-53, 1996.

Gronbaek, K.; Hem, J.A.; Madsen, O. L., Sloth L. Cooperative hypermedia systems: a Dexter-based architecture. Communications of the ACM, v.37, n.2, p. 64-74, 1994.

Gronbaek, K.; Bouvin, N. O.; Sloth, L. Designing Dexter-based hypermedia services for the World Wide Web. In: Proceedings of Hypertext'97, Southampton, UK, p.6-11, 1997.

Little, T. D. C. Synchronization and storage models for multimedia objects. IEEE Journal on Selected Areas in Communications, v.8, n.3, p.413-127, 1990.

Oliveira, M. C. F.; Turine, M. A. S.; Masieiro, P. C. A statecharts-based model for hypertext. São Carlos, Brasil, Notas do ICMC, Série Computação (19), 1995.

Osterbye, K.; Wiil, U. K. The flag taxonomy of open hypermedia systems. In: Proceedings of Hypertext'96, Washington, D. C., p.129-139, 1996.

Paulo, F. B. Especificação de Aplicações Hipermídia Baseadas em Statecharts, SP. São Carlos. 152p. Dissertação (Mestrado). ICMC - USP, 1997.

Paulo, F. B.; Turine, M. A. S.; Oliveira, M. C. F., Masieiro, P.C. XHMBS: A formal model to support hypermedia specification. In: Proceedings of the Hypertext'98, Pittsburgh, PA, USA, 1998.

Sènac, P. Contribuition a la modélisation des systèmes multimédias et hypermédias. Tese (doutorado), LAAS, Tolouse, France, 1996.
Publicado
04/10/2000
MIOTTO, Aline Maria Malachini; FORTES, Renata Pontin de Mattos. Especificação de um Modelo Formal para Aplicações em Sistemas Hipermídia Abertos. In: WORKSHOP DE TESES E DISSERTAÇÕES EM ENGENHARIA DE SOFTWARE - SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 14. , 2000, João Pessoa/PB. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2000 . p. 31-34. DOI: https://doi.org/10.5753/sbes_estendido.2000.24200.