Detalhes bibliográficos
| Ano de defesa: |
2001 |
| Autor(a) principal: |
Miotto, Aline Maria Malachini |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18012018-170700/
|
Resumo: |
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. |
