UMA tendência no projeto de sistemas hipemiidia é o desenvolvimento de sistemas que sejam abertos, extensíveis e distribuídos entre diferentes usuários. Na última década vários sistemas hipermidia abertos foram apresentados na literatura. Nesse contexto, técnicas formais consistem de ferramentas muito úteis 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 ou Statecharts) em relação à especificação de aplicações em sistemas hiperrnídia abertos e propor extensões a esse modelo para permitir a especificação de tais aplicações.

A TREND ofhypermedia system design is the deve!opment of open, extensible and distributed multiuser systems. Therefore, in the last years several Open Hypermedia System (OHS) architectures have beeu presented in ljterature. In this context, formal tecbniques become a very useful tool for specification of hypermedia applications (and OHS applications). Formal tecimiques allow that a certain specified solution be precise, non-ambiguous,reusable and independent of implementation. Additionally, adequate formal modeis can offer systematic and reliable approaches to analyze and verify structural and dynamic properties of this kind of applications. This work aims at verifying the adequacy of the formal model XHMBS (eXtended Hypertext Model Based on Statecharts) in relation to the specification of OHS applications and to extend the model in orde r to allow the specification of such applications.