XHMBS: a formal model to support hypermedia specification
Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems
Hi-index | 0.00 |
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.