Abstract
The HySCharts environment (Hyperdocument System Based on StateCharts) supports the formal specification of hyperdocuments using a novel formalism called HMBS (Hyperdocument Model Based on Statecharts). This paper presents the HySCharts system architecture, with emphasis on its underlying model and on the functionality of its authoring and browsing modules. HMBS is a statechart-based, navigation-oriented model for hyperdocument specification that uses the structure and execution semantics of statecharts to specify both the structural organization and the browsing semantics of a hyperdocument. The formal definition of HMBS and its associated browsing semantics are introduced. A discussion of the system and its capabilities, as supported by the model, is also provided.
Similar content being viewed by others
References
U. Cavallaro, F. Garzotto, P. Paolini, and D. Totaro, “HIFI: Hypertext interface for information systems,” IEEE Software, Vol. 10, No. 6, pp. 48–51, Nov. 1993.
F. Garzotto, L. Mainetti, and P. Paolini, “Adding multimedia collections to the Dexter model,” in Proceedings of ACM ECHT'94, European Conference on Hypermedia Technologies, Edinburgh, Scotland, Sept. 1994, pp. 70–80.
F. Garzotto, L. Mainetti, and P. Paolini, “Hypermedia design, analysis, and evaluation issues,” Communications of the Association of Computer Machinery, Vol. 38, No. 8, pp. 74–86, Aug. 1995.
L. Hardman, D.C.A. Bulterman, and G. Van Rossum, “Links in hypermedia: The requirements for context,” in Proceedings of ACM Hypertext'93, Seattle, Washington, USA, Nov. 1993, pp. 183–191.
D. Harel, “Statecharts: A visual formalism for complex systems,” Science of Computer Programming, Vol. 8, No. 3, pp. 231–274, July 1987.
D. Harel, A. Pnueli, J.P. Schmidt, and R. Sherman, “On the formal semantics of statecharts,” in Proceedings of II IEEE Symposium on Logic in Computer Science, 1987, pp. 54–64.
P.C. Masiero, R.P.M. Fortes, and J.E.S. Batista Neto, “Editing and simulating behavioral aspects of real-time systems,” in Proceedings of XVIII Integrated Hardware and Software Seminar, SEMISH, Santos, Brazil, Aug. 1991, pp. 45–61 (in Portuguese).
M.C.F. Oliveira, M.A.S. Turine, and P.C. Masiero, “An overview of HMBS: A statechart-based model for hypertext,” in Proceedings of IIWorkshop on Hypermedia Systems,WOSH, Fortaleza, CE, Brazil, May 1996, pp. 11–20.
D. Schwabe, G. Rossi, and S.D.J. Barbosa, “Systematic hypermedia application design with OOHDM,” in Proceedings of ACM Hypertext'96, Washington, DC, USA, March 1996, pp. 116–128.
G.L. Souza Fillho and L.F.G. Soares, “Edition and execution of hypermedia document presentations in HyperProp,” in Proceedings of II Workshop on Hypermedia Systems, WOSH, Fortaleza, CE, Brazil, May 1996, pp. 61–70 (in Portuguese).
P.D. Stotts and R. Furuta, “Petri Net based hypertext: Document structure with browsing semantics,” ACM Transactions on Information Systems, Vol. 7, No. 1, pp. 3–29, Jan. 1989.
M. Thüring, J. Hannemann, and J.M. Haake, “Hypermedia and cognition: Designing for comprehension,” Communications of the Association of Computer Machinery, Vol. 38, No. 8, pp. 57–66, Aug. 1995.
M.A.S. Turine, “HMBS: A statechart-based model for the formal specification of hyperdocuments,” Doctoral Thesis, IFSC, USP, São Carlos, Brazil, June 1998 (in Portuguese).
M.A.S. Turine, M.C.F. Oliveira, and P.C. Masiero, “Designing structured hypertext with HMBS,” in Proceedings ACM Hypertext'97, VIII Int. ACM Hypertext Conference, Southampton, UK, April 1997, pp. 241–256.
G. Van Rosum, J. Jansen, K.S. Mullender, and D.C.A. Bulterman, “CMIFed: A presentation environment for portable hypermedia documents,” in Proceedings of I ACM Int. Conference on Multimedia, Anaheim, CA, USA, Aug. 1993, pp. 183–188.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Turine, M.A.S., De Oliveira, M.C.F. & Masiero, P.C. HySCharts: A Statechart-Based Environment for Hyperdocument Authoring and Browsing. Multimedia Tools and Applications 8, 309–324 (1999). https://doi.org/10.1023/A:1009618225419
Issue Date:
DOI: https://doi.org/10.1023/A:1009618225419