• 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
 
 
Master's Dissertation
DOI
https://doi.org/10.11606/D.55.2018.tde-18012018-170700
Document
Author
Full name
Aline Maria Malachini Miotto
Institute/School/College
Knowledge Area
Date of Defense
Published
São Carlos, 2001
Supervisor
Committee
Fortes, Renata Pontin de Mattos (President)
Moreira, Anamaria Martins
Nunes, Maria das Graças Volpe
Title in Portuguese
Especificação de um modelo formal para aplicações em sistemas hipermídia abertos
Keywords in Portuguese
Not available
Abstract in Portuguese
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.
Title in English
Not available
Keywords in English
Not availabe
Abstract in English
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.
 
WARNING - Viewing this document is conditioned on your acceptance of the following terms of use:
This document is only for private use for research and teaching activities. Reproduction for commercial use is forbidden. This rights cover the whole data about this document as well as its contents. Any uses or copies of this document in whole or in part must include the author's name.
Publishing Date
2018-01-18
 
WARNING: The material described below relates to works resulting from this thesis or dissertation. The contents of these works are the author's responsibility.
  • 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.
All rights of the thesis/dissertation are from the authors
CeTI-SC/STI
Digital Library of Theses and Dissertations of USP. Copyright © 2001-2024. All rights reserved.