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
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;
Conference_Titel :
Engineering of Complex Computer Systems, 1997. Proceedings., Third IEEE International Conference on
Conference_Location :
Como
Print_ISBN :
0-8186-8126-8
DOI :
10.1109/ICECCS.1997.622306
