• 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
 
 
Mémoire de Maîtrise
DOI
https://doi.org/10.11606/D.55.2018.tde-18012018-170700
Document
Auteur
Nom complet
Aline Maria Malachini Miotto
Unité de l'USP
Domain de Connaissance
Date de Soutenance
Editeur
São Carlos, 2001
Directeur
Jury
Fortes, Renata Pontin de Mattos (Président)
Moreira, Anamaria Martins
Nunes, Maria das Graças Volpe
Titre en portugais
Especificação de um modelo formal para aplicações em sistemas hipermídia abertos
Mots-clés en portugais
Not available
Resumé en portugais
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.
Titre en anglais
Not available
Mots-clés en anglais
Not availabe
Resumé en anglais
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.
 
AVERTISSEMENT - Regarde ce document est soumise à votre acceptation des conditions d'utilisation suivantes:
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
Date de Publication
2018-01-18
 
AVERTISSEMENT: Le matériau se réfère à des documents provenant de cette thèse ou mémoire. Le contenu de ces documents est la responsabilité de l'auteur de la thèse ou mémoire.
  • 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.
Tous droits de la thèse/dissertation appartiennent aux auteurs
CeTI-SC/STI
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2024. Tous droits réservés.