Abstraction mechanisms in hypertext
Communications of the ACM
Petri-net-based hypertext: document structure with browsing semantics
ACM Transactions on Information Systems (TOIS)
A data model for flexible hypertext database systems
ACM Transactions on Information Systems (TOIS)
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
IEEE Transactions on Software Engineering
HDM—a model-based approach to hypertext application design
ACM Transactions on Information Systems (TOIS)
Using statecharts to model hypertext
ECHT '92 Proceedings of the ACM conference on Hypertext
The Dexter hypertext reference model
Communications of the ACM
ADVcharts: a visual formalism for interactive systems
ACM SIGCHI Bulletin
RMM: a methodology for structured hypermedia design
Communications of the ACM
Hypertext design environments and the hypertext design process
Communications of the ACM
Hypermedia and cognition: designing for comprehension
Communications of the ACM
Systematic hypermedia application design with OOHDM
Proceedings of the the seventh ACM conference on Hypertext
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal methods in computer human interaction: comparison, benefits, open questions
Conference Companion on Human Factors in Computing Systems
Design reuse in hypermedia applications development
HYPERTEXT '97 Proceedings of the eighth ACM conference on Hypertext
A navigation-oriented hypertext model based on statecharts
HYPERTEXT '97 Proceedings of the eighth ACM conference on Hypertext
A large-scale hypermedia application using document management and Web technologies
HYPERTEXT '97 Proceedings of the eighth ACM conference on Hypertext
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
Hypercharts: Extended Statecharts to Support Hypermedia Specification
IEEE Transactions on Software Engineering
HySCharts: A Statechart-Based Environment for Hyperdocument Authoring and Browsing
Multimedia Tools and Applications
Automatic HTML Generation from Formal Hypermedia Specifications
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 7 - Volume 7
Extending the capabilities of RMM: Russian Dolls and Hypertext
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Digital Documents - Volume 6
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Proceedings of the 2002 ACM symposium on Document engineering
Adaptation in an Evolutionary Hypermedia System: Using Semantic and Petri Nets
AH '02 Proceedings of the Second International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems
Use of Statechart Diagrams for Modeling of Hypertext
Programming and Computing Software
Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries
ACM Transactions on Information Systems (TOIS)
Formal Framework for Automated Analysis and Verification of Web-Based Applications
Proceedings of the 19th IEEE international conference on Automated software engineering
Automatic dialog mask generation for device-independent web applications
ICWE '06 Proceedings of the 6th international conference on Web engineering
Modeling and verification of adaptive navigation in web applications
ICWE '06 Proceedings of the 6th international conference on Web engineering
Towards efficient web engineering approaches through flexible process models
Journal of Systems and Software
Feature Oriented Model Driven Development: A Case Study for Portlets
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Specifying and controlling multi-channel web interfaces for enterprise applications
Information Systems Frontiers
Characterizing navigation maps for web applications with the NMM approach
Science of Computer Programming
From page-centric to portlet-centric Web development: Easing the transition using MDD
Information and Software Technology
Applying software evolution theory to hypermedia systems
International Journal of Web Engineering and Technology
Open paper: caT: adapting and updating the trellis hypertext model
The New Review of Hypermedia and Multimedia
UWE-R: an extension to a web engineering methodology for rich internet applications
WSEAS Transactions on Information Science and Applications
Modelling Safe Interface Interactions in Web Applications
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Modelling form-based interfaces with bipartite state machines
Interacting with Computers
Modeling portlet aggregation through statecharts
WISE'06 Proceedings of the 7th international conference on Web Information Systems
A finite-state machine approach for modeling and analyzing restful systems
Journal of Web Engineering
Automating the analysis of NCL documents with a model-driven approach
Proceedings of the 19th Brazilian symposium on Multimedia and the web
| Hi-index | 0.00 |
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.