Statecharts: A visual formalism for complex systems
Science of Computer Programming
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
The Z notation: a reference manual
The Z notation: a reference manual
Synchronization models for multimedia presentation with user participation
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Using statecharts to model hypertext
ECHT '92 Proceedings of the ACM conference on Hypertext
The Amsterdam hypermedia model: adding time and context to the Dexter model
Communications of the ACM
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
A synchronization model for hypermedia documents navigation
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Exception Handling in the Spreadsheet Paradigm
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
A statechart-based model for hypermedia applications
ACM Transactions on Information Systems (TOIS)
M-CODD: A Technique for the Conceptual Design of Multimedia Databases
MDIC '01 Proceedings of the Second International Workshop on Multimedia Databases and Image Communication
Modeling Web Navigation by Statechart
COMPSAC '00 24th International Computer Software and Applications Conference
Formal Framework for Automated Analysis and Verification of Web-Based Applications
Proceedings of the 19th IEEE international conference on Automated software engineering
From DQ to EQ: understanding data quality in the context of e-business systems
Communications of the ACM - The digital society
Enriching SMIL with assertions for temporal validation
Proceedings of the 15th international conference on Multimedia
Hi-index | 0.00 |
This paper introduces hypercharts, a novel and effective notation that extends the well-known statechart formalism to make it suitable for the specification of 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 terms of conventional statechart models. Therefore, any hyperchart construction can be transformed into a statechart that exhibits the desired behavior, giving hyperchart models the same semantic behavior as statecharts. The new constructs are illustrated using a case study based on a hypermedia-modeling example.