DocumentCode
2387182
Title
Hypercharts: extended statecharts to support hypermedia specification
Author
Paulo, Fabiano B. ; Masiero, Paulo C. ; De Oliveira, M. Cristina F
Author_Institution
ICMSC, Sao Paulo Univ., Brazil
fYear
1997
fDate
8-12 Sep 1997
Firstpage
152
Lastpage
161
Abstract
This paper introduces hypercharts, a novel and effective model that extends the well-known statechart formalism to make it suitable for the specification of the temporal and information synchronization requirements of hypermedia applications. Three new definitions are added: timed history, timed transitions and a set of synchronization mechanisms. The proposed extensions are based on the major characteristics of some Petri net based multimedia models, and have their semantics described in the paper in terms of conventional statechart models
Keywords
formal specification; hypermedia; synchronisation; Petri net based multimedia models; extended statecharts; hypercharts; hypermedia specification; information synchronization requirements; statechart models; synchronization mechanisms; temporal specification; timed history; timed transitions; Automata; History; Hypertext systems; Information retrieval; Mechanical factors; Multimedia communication; Multimedia systems; Navigation; Petri nets; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Complex Computer Systems, 1997. Proceedings., Third IEEE International Conference on
Conference_Location
Como
Print_ISBN
0-8186-8126-8
Type
conf
DOI
10.1109/ICECCS.1997.622306
Filename
622306
Link To Document