Especificação de um Modelo Formal para Aplicações em Sistemas Hipermídia Abertos
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.
Referências
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.
