HMBS: um modelo baseado em Statecharts para a especificação formal de hiperdocumentos (1998)
- Authors:
- Autor USP: TURINE, MARCELO AUGUSTO SANTOS - IFSC
- Unidade: IFSC
- Sigla do Departamento: FFI
- Subjects: INTELIGÊNCIA ARTIFICIAL; CIÊNCIA DA COMPUTAÇÃO
- Language: Português
- Abstract: 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. São apresentadas a definição do HMBS, bem como a senântica de navegação adotada. Na definição apresenta-se como modelo e permite separar as informações referentes à 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 - Hyperdocument 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ático é utilizado como estudo de caso a especificação de um hiperdocumento que apresenta o Parque Ecológico de São Carlos
- Imprenta:
- Publisher place: São Carlos
- Date published: 1998
- Data da defesa: 01.06.1998
-
ABNT
TURINE, Marcelo Augusto Santos. HMBS: um modelo baseado em Statecharts para a especificação formal de hiperdocumentos. 1998. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 1998. Disponível em: http://www.teses.usp.br/teses/disponiveis/76/76132/tde-25032014-174215/. Acesso em: 18 fev. 2026. -
APA
Turine, M. A. S. (1998). HMBS: um modelo baseado em Statecharts para a especificação formal de hiperdocumentos (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/76/76132/tde-25032014-174215/ -
NLM
Turine MAS. HMBS: um modelo baseado em Statecharts para a especificação formal de hiperdocumentos [Internet]. 1998 ;[citado 2026 fev. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/76/76132/tde-25032014-174215/ -
Vancouver
Turine MAS. HMBS: um modelo baseado em Statecharts para a especificação formal de hiperdocumentos [Internet]. 1998 ;[citado 2026 fev. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/76/76132/tde-25032014-174215/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
