{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:06:31Z","timestamp":1759032391737,"version":"3.41.0"},"reference-count":30,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Inf. Syst."],"published-print":{"date-parts":[[2001,1]]},"abstract":"<jats:p>This paper presents a formal definition for HMBS (Hypermedia Model Based on Statecharts). HMBS uses the structure and execution semantics of statecharts to specify both the structural organization and the browsing semantics of hypermedia applications. Statecharts are an extension of finite-state machines and the model is thus a generalization of hypergraph-based hypertext models. Some of the most important features of HMBS are its ability to model hierarchy and synchronization of information; provision of mechanisms for specifying access structures, navigational contexts, access control, multiple tailored versions,and hierarchical views. Analysis of the underlying statechart machine allows verification of page reachability, valid paths, and other properties, thus providing mechanisms to support authors in the development of structured applications.<\/jats:p>","DOI":"10.1145\/366836.366869","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:29:00Z","timestamp":1027769340000},"page":"28-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":63,"title":["A statechart-based model for hypermedia applications"],"prefix":"10.1145","volume":"19","author":[{"given":"Maria Cristina Ferreira","family":"de Oliveira","sequence":"first","affiliation":[{"name":"Univ. de S\u00e3o Paulo\u2014Campus de S\u00e3o Carlos, S\u00e3o Carlos, Brazil"}]},{"given":"Marcelo Augusto Santos","family":"Turine","sequence":"additional","affiliation":[{"name":"Univ. Federal do Mato Grosso do Sul, Campo Grande, Brazil"}]},{"given":"Paulo Cesar","family":"Masiero","sequence":"additional","affiliation":[{"name":"Univ. de S\u00e3o Paulo\u2014Campus de S\u00e3o Carlos, S\u00e3o Carlos, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2001,1]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1145\/267437.267452","volume-title":"Proceedings of the 8th ACM Conference on Hypertext (HYPERTEXT '97","author":"BALASUBRAMANIAN V.","year":"1997"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.562928"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/198125.198150"},{"volume-title":"Proceedings of the 5th Brazilian Symposium on Multimedia and Hypermedia Systems (SBMIDIA '99","year":"1999","author":"CARVALHO M.R.","key":"e_1_2_1_4_1"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.163607"},{"volume-title":"Proceedings of the International Workshop on Hypermedia Design","year":"1995","author":"DIAZ A.","key":"e_1_2_1_6_1"},{"key":"e_1_2_1_7_1","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/43.31537","article-title":"Using statecharts for hardware description and synthesis","volume":"8","author":"DRUSINSKY D.","year":"1989","journal-title":"IEEE Trans. Comput.-Aided Des."},{"key":"e_1_2_1_8_1","first-page":"33","volume-title":"Proceedings of the Workshop on Formal Methods in Human Computer Interaction: Comparison, Benefits, Open Questions (CHI '96","author":"FORTES R.P.","year":"1996"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/48511.48516"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/151480.151483"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/175235.175237"},{"key":"e_1_2_1_12_1","first-page":"54","volume-title":"Proceedings of the Second IEEE Symposium on Logic in Computer Science","author":"HAREL D.","year":"1987"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/208344.208346"},{"volume-title":"Proceedings of the Thirtieth Annual Hawaii International Conference on System Sciences (HICSS'97","year":"1997","author":"ISAKOWITZ T.","key":"e_1_2_1_15_1"},{"key":"e_1_2_1_16_1","first-page":"366","volume-title":"Proceedings of the 27th Hawaiian International Conference on System Sciences (HICCS '94","author":"LANGE D. B.","year":"1994"},{"volume-title":"Proceedings of the Twenty-Eighth Brazilian Integrated Seminar on Hardware and Software (SEMISH","year":"1991","author":"MASIERO P.C.","key":"e_1_2_1_17_1"},{"issue":"10","key":"e_1_2_1_18_1","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1016\/0950-5849(94)90021-3","article-title":"A reachability tree for statecharts and analysis of some properties","volume":"36","author":"MASIERO P.C.","year":"1994","journal-title":"Inf. Softw. Technol."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/208344.208347"},{"key":"e_1_2_1_20_1","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1145\/276627.276645","volume-title":"Proceedings of the 9th ACM Conference on Hypertext and Hypermedia: Links, Objects, Time and Space-Structure in Hypermedia Systems (HYPERTEXT '98","author":"PAULO F.B.","year":"1998"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.748917"},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/267437.267444","volume-title":"Proceedings of the 8th ACM Conference on Hypertext (HYPERTEXT '97","author":"ROSSI G.","year":"1997"},{"key":"e_1_2_1_23_1","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1145\/234828.234840","volume-title":"Proceedings of the Seventh ACM Conference on Hypertext '96 (Washington, D.C., Mar. 16-20)","author":"SCHWABE D.","year":"1996"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/64789.64791"},{"volume-title":"Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS","year":"2001","author":"SHIBUYA R.","key":"e_1_2_1_25_1"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/208344.208348"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/64789.64993"},{"key":"e_1_2_1_28_1","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/267437.267449","volume-title":"Proceedings of the 8th ACM Conference on Hypertext (HYPERTEXT '97","author":"TURINE M.A.","year":"1997"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009618225419"},{"key":"e_1_2_1_30_1","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1145\/168466.168532","volume-title":"Proceedings of the ACM Conference on Hypertext (ECHT '92","author":"ZHENG Y.","year":"1992"}],"container-title":["ACM Transactions on Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/366836.366869","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/366836.366869","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:43:47Z","timestamp":1750290227000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/366836.366869"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,1]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,1]]}},"alternative-id":["10.1145\/366836.366869"],"URL":"https:\/\/doi.org\/10.1145\/366836.366869","relation":{},"ISSN":["1046-8188","1558-2868"],"issn-type":[{"type":"print","value":"1046-8188"},{"type":"electronic","value":"1558-2868"}],"subject":[],"published":{"date-parts":[[2001,1]]},"assertion":[{"value":"2001-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}