HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos
Um novo modelo para a especificação de hiperdocumentos denominado HMBS - Hyperdocument Model Based on Statecharts - é proposto. O HMBS adota como modelo formal subjacente a técnica Statecharts, cuja estrutura e semântica operacional são utilizadas para especificar a estrutura organizacional e a...
Main Author: | |
---|---|
Other Authors: | |
Language: | Portuguese |
Published: |
Universidade de São Paulo
1998
|
Subjects: | |
Online Access: | http://www.teses.usp.br/teses/disponiveis/76/76132/tde-25032014-174215/ |
id |
ndltd-IBICT-oai-teses.usp.br-tde-25032014-174215 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-IBICT-oai-teses.usp.br-tde-25032014-1742152019-01-21T23:32:52Z HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos HMBS: a statechart-based model for hyperdocuments formal specification Marcelo Augusto Santos Turine Paulo Cesar Masiero Maria Cristina Ferreira de Oliveira Alvaro Garcia Neto Maria das Graças Volpe Nunes Daniel Schwabe Marina Teresa Pires Vieira Especificação formal Hiperdocumento HMBS Semântica de navegação Statecharts Formal Specification HMBS Hyperdocument Navigational semantics Um novo modelo para a especificação de hiperdocumentos denominado HMBS - Hyperdocument Model Based on Statecharts - é proposto. O HMBS adota como modelo formal subjacente a técnica Statecharts, cuja estrutura e semântica operacional são utilizadas para especificar a estrutura organizacional e a semântica de navegação de hiperdocumentos grandes e complexos. A definição do HMBS, bem como a semântica de navegação adotada, são apresentadas. Na definição apresenta-se como o modelo permite separar as informações referentes a estrutura organizacional e navegacional das representações físicas do hiperdocumento. Também são discutidas características do modelo que possibilitam ao autor analisar a estrutura do hiperdocumento, encorajando a especificação de hiperdocumentos estruturados. Para provar e validar a viabilidade prática do uso do HMBS num contexto real foi desenvolvido um ambiente de autoria e navegação de hiperdocumentos denominado HySCharts - Hyperdocumenf System based on Statecharts. Esse ambiente fornece facilidades de prototipação rápida e simulação interativa de hiperdocumentos. Para ilustrar como o modelo HMBS e o HySCharts podem ser utilizados no contexto de uma abordagem de projeto sistemática é utilizada como estudo de caso a especificação de um hiperdocumento que apresenta o Parque Ecológico de São Carlos A new model for hyperdocument specification called HMBS - Hyperdocument Model Based on Statecharts - is proposed. HMBS uses the Statechart formalism as its underlying model. Statecharts structure and operational semantics are used to specify the organizational structure and the browsing semantics of large and complex hyperdocuments. The definition of HMBS is presented and its browsing semantics is described. It is shown how the model allows the separation of information related to the organizational and navigational structure from the hyperdocument\'s physical representation. Model features that allow authors to analyze the hyperdocument structure, encouraging the specification of structured hyperdocuments are also discussed. As a proof of concept and also to evaluate the feasibility of using HMBS in real-life applications a system called HySCharts - Hyperdocument System based on StateCharts - was developed. HySCharts is composed by an authoring and a browsing environments, supporting rapid prototyping and interactive simulation of hyperdocuments. A case study is presented that uses the specification of a hyperdocument introducing the Ecological Park of São Carlos to illustrate the use of HMBS and of the HySCharts environment integrated into a systematic design approach 1998-06-01 info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/doctoralThesis http://www.teses.usp.br/teses/disponiveis/76/76132/tde-25032014-174215/ por info:eu-repo/semantics/openAccess Universidade de São Paulo Física USP BR reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo instacron:USP |
collection |
NDLTD |
language |
Portuguese |
sources |
NDLTD |
topic |
Especificação formal
Hiperdocumento HMBS Semântica de navegação Statecharts Formal Specification HMBS Hyperdocument Navigational semantics |
spellingShingle |
Especificação formal
Hiperdocumento HMBS Semântica de navegação Statecharts Formal Specification HMBS Hyperdocument Navigational semantics Marcelo Augusto Santos Turine HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos |
description |
Um novo modelo para a especificação de hiperdocumentos denominado HMBS - Hyperdocument Model Based on Statecharts - é proposto. O HMBS adota como modelo formal subjacente a técnica Statecharts, cuja estrutura e semântica operacional são utilizadas para especificar a estrutura organizacional e a semântica de navegação de hiperdocumentos grandes e complexos. A definição do HMBS, bem como a semântica de navegação adotada, são apresentadas. Na definição apresenta-se como o modelo permite separar as informações referentes a estrutura organizacional e navegacional das representações físicas do hiperdocumento. Também são discutidas características do modelo que possibilitam ao autor analisar a estrutura do hiperdocumento, encorajando a especificação de hiperdocumentos estruturados. Para provar e validar a viabilidade prática do uso do HMBS num contexto real foi desenvolvido um ambiente de autoria e navegação de hiperdocumentos denominado HySCharts - Hyperdocumenf System based on Statecharts. Esse ambiente fornece facilidades de prototipação rápida e simulação interativa de hiperdocumentos. Para ilustrar como o modelo HMBS e o HySCharts podem ser utilizados no contexto de uma abordagem de projeto sistemática é utilizada como estudo de caso a especificação de um hiperdocumento que apresenta o Parque Ecológico de São Carlos
===
A new model for hyperdocument specification called HMBS - Hyperdocument Model Based on Statecharts - is proposed. HMBS uses the Statechart formalism as its underlying model. Statecharts structure and operational semantics are used to specify the organizational structure and the browsing semantics of large and complex hyperdocuments. The definition of HMBS is presented and its browsing semantics is described. It is shown how the model allows the separation of information related to the organizational and navigational structure from the hyperdocument\'s physical representation. Model features that allow authors to analyze the hyperdocument structure, encouraging the specification of structured hyperdocuments are also discussed. As a proof of concept and also to evaluate the feasibility of using HMBS in real-life applications a system called HySCharts - Hyperdocument System based on StateCharts - was developed. HySCharts is composed by an authoring and a browsing environments, supporting rapid prototyping and interactive simulation of hyperdocuments. A case study is presented that uses the specification of a hyperdocument introducing the Ecological Park of São Carlos to illustrate the use of HMBS and of the HySCharts environment integrated into a systematic design approach
|
author2 |
Paulo Cesar Masiero |
author_facet |
Paulo Cesar Masiero Marcelo Augusto Santos Turine |
author |
Marcelo Augusto Santos Turine |
author_sort |
Marcelo Augusto Santos Turine |
title |
HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos
|
title_short |
HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos
|
title_full |
HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos
|
title_fullStr |
HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos
|
title_full_unstemmed |
HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos
|
title_sort |
hmbs:um modelo baseado em statecharts para a especificação formal de hiperdocumentos |
publisher |
Universidade de São Paulo |
publishDate |
1998 |
url |
http://www.teses.usp.br/teses/disponiveis/76/76132/tde-25032014-174215/ |
work_keys_str_mv |
AT marceloaugustosantosturine hmbsummodelobaseadoemstatechartsparaaespecificacaoformaldehiperdocumentos AT marceloaugustosantosturine hmbsastatechartbasedmodelforhyperdocumentsformalspecification |
_version_ |
1718908716725567488 |