• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Dissertação de Mestrado
DOI
https://doi.org/10.11606/D.55.2018.tde-18012018-170700
Documento
Autor
Nome completo
Aline Maria Malachini Miotto
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Carlos, 2001
Orientador
Banca examinadora
Fortes, Renata Pontin de Mattos (Presidente)
Moreira, Anamaria Martins
Nunes, Maria das Graças Volpe
Título em português
Especificação de um modelo formal para aplicações em sistemas hipermídia abertos
Palavras-chave em português
Not available
Resumo em português
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.
Título em inglês
Not available
Palavras-chave em inglês
Not availabe
Resumo em inglês
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.
 
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso:
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
Data de Publicação
2018-01-18
 
AVISO: O material descrito abaixo refere-se a trabalhos decorrentes desta tese ou dissertação. O conteúdo desses trabalhos é de inteira responsabilidade do autor da tese ou dissertação.
  • IZEKI, Claudia A, et al. A Dual Open Hypermedia Service for the Semantic Web. In SBMIDIA 2002, Fortaleza - CE, 2002. Anais do SBMIDIA'02., 2002.
  • IZEKI, Claudia A, et al. A Dual Open Hypermedia Service for the Semantic Web. In Simposio Brasileiro em Sistemas Multimidia e Hipermidia, Fortaleza - CE, 2002. Anais do SBMIDIA'02., 2002.
  • MIOTTO, A. M. M., and FORTES, R. P. M. Extending XHMBS for supporting Open Hyperdocuments. In IV WMF (IV Workshop de Métodos Formais) junto ao SBES'2001, Rio de Janeiro-RJ, 2001. Anais do IV WMF., 2001.
  • MIOTTO, A. M. M., e FORTES, R. P. M. Especificacao de um Modelo Formal para Aplicacoes em Sistemas Hipermidia Abertos. In V Workshop de Teses em Engenharia de Software- SBES'2000, Joao Pessoa - PB, 2000. Anais do V Workshop de Teses em Engenharia de Software - SBES'2000., 2000. Resumo.
  • MIOTTO, A. M. M., e FORTES, R. P. M. Extending XHMBS for supporting Open Hyperdocuments. In IV Workshop de Métodos Formais, Rio de Janeiro, 2001. Anais do IV WMF., 2001.
  • MIOTTO, A. M. M., e FORTES, R. P. M. Um Modelo Formal para Aplicações em Sistemas Hipermídia Abertos: Características Específicas. In CLEI'2001 (XVI XXVII Latin-American Conference on Informatics, Mérida - VE, 2001. Proceedings do CLEI 2001., 2001.
Todos os direitos da tese/dissertação são de seus autores
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2024. Todos os direitos reservados.