Especificação de um modelo formal para aplicações em sistemas hipermídia abertos

Detalhes bibliográficos
Autor(a) principal: Miotto, Aline Maria Malachini
Data de Publicação: 2001
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: 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.
id USP_c63cb205b2cee118ddf1a2c310d8199b
oai_identifier_str oai:teses.usp.br:tde-18012018-170700
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Especificação de um modelo formal para aplicações em sistemas hipermídia abertosNot availableNot availabeNot availableUMA 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.Biblioteca Digitais de Teses e Dissertações da USPFortes, Renata Pontin de MattosMiotto, Aline Maria Malachini2001-11-23info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/55/55134/tde-18012018-170700/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2018-07-19T20:50:39Zoai:teses.usp.br:tde-18012018-170700Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212018-07-19T20:50:39Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Especificação de um modelo formal para aplicações em sistemas hipermídia abertos
Not available
title Especificação de um modelo formal para aplicações em sistemas hipermídia abertos
spellingShingle Especificação de um modelo formal para aplicações em sistemas hipermídia abertos
Miotto, Aline Maria Malachini
Not availabe
Not available
title_short Especificação de um modelo formal para aplicações em sistemas hipermídia abertos
title_full Especificação de um modelo formal para aplicações em sistemas hipermídia abertos
title_fullStr Especificação de um modelo formal para aplicações em sistemas hipermídia abertos
title_full_unstemmed Especificação de um modelo formal para aplicações em sistemas hipermídia abertos
title_sort Especificação de um modelo formal para aplicações em sistemas hipermídia abertos
author Miotto, Aline Maria Malachini
author_facet Miotto, Aline Maria Malachini
author_role author
dc.contributor.none.fl_str_mv Fortes, Renata Pontin de Mattos
dc.contributor.author.fl_str_mv Miotto, Aline Maria Malachini
dc.subject.por.fl_str_mv Not availabe
Not available
topic Not availabe
Not available
description 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.
publishDate 2001
dc.date.none.fl_str_mv 2001-11-23
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18012018-170700/
url http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18012018-170700/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1815257059303620608

Registros relacionados