Statecharts: A visual formalism for complex systems
Science of Computer Programming
Petri-net-based hypertext: document structure with browsing semantics
ACM Transactions on Information Systems (TOIS)
Fundamentals of software engineering
Fundamentals of software engineering
Dynamic adaptation of hypertext structure
HYPERTEXT '91 Proceedings of the third annual ACM conference on Hypertext
Storyspace as a hypertext system for writers and readers of varying ability
HYPERTEXT '91 Proceedings of the third annual ACM conference on Hypertext
Hierarchy, composition, scripting languages, and translators for structured hypertext
Hypertext: concepts, systems and applications
Interpreted collaboration protocols and their use in groupware prototyping
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
Interactive hypermedia applications: a model and its implementation
Software—Practice & Experience
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
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
Context-aware hypermedia in a dynamically-changing environment, supported by a high-level Petri net
HYPERTEXT '00 Proceedings of the eleventh ACM on Hypertext and hypermedia
A statechart-based model for hypermedia applications
ACM Transactions on Information Systems (TOIS)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
User Modeling and User-Adapted Interaction
Knowledge Representation in Fuzzy Logic
IEEE Transactions on Knowledge and Data Engineering
Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
The MORENA model for hypermedia authoring and browsing
ICMCS '95 Proceedings of the International Conference on Multimedia Computing and Systems
A Hypermedia Basis for the Specification, Documentation, Verification, and Prototyping of Concurrent Protocols
ICMCS '96 Proceedings of the 1996 International Conference on Multimedia Computing and Systems
Applying programmable browsing semantics within the context of the World-Wide Web
Proceedings of the thirteenth ACM conference on Hypertext and hypermedia
Proceedings of the 2002 ACM symposium on Document engineering
XConnector: extending XLink to provide multimedia synchronization
Proceedings of the 2002 ACM symposium on Document engineering
Transparent sharing and interoperation of heterogeneous single-user applications
CSCW '02 Proceedings of the 2002 ACM conference on Computer supported cooperative work
ECDL '02 Proceedings of the 6th European Conference on Research and Advanced Technology for Digital Libraries
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
XConnector and XTemplate: improving the expressiveness and reuse in web authoring languages
The New Review of Hypermedia and Multimedia - Hypermedia and the world wide web
Browsing intricately interconnected paths
Proceedings of the fourteenth ACM conference on Hypertext and hypermedia
Proceedings of the fifteenth ACM conference on Hypertext and hypermedia
Modelling hypermedia and web applications: the Ariadne development method
Information Systems
A time Petri net-based approach for synchronization, analysis and management of multimedia scenarios
International Journal of Parallel, Emergent and Distributed Systems
Modelling hypermedia and web applications: the Ariadne Development Method
Information Systems
Separation of concerns in hypertext: articulation points that increase flexibility
From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments
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 |
caT (for Context-Aware Trellis) was initially developed to support context-aware documents by incorporating high-level Petri-net specification, context-awareness, user modeling, and fuzzy knowledge handling features into Trellis, a Petri-net-based hypermedia system. The browsing behavior of documents specified in the caT model can reflect the reader's contextual (such as location and time) and preference information. Recently, to provide a framework for the authoring, browsing, and analysis of reasonably complex, dynamic documents, we added (or extended) several features in the caT system, providing hierarchical Petri net support, a structured authoring tool, browsing tools for multiple presentations of a particular document's specification, and a Petri net analysis tool. In this paper, we present the extended features of caT and give examples of using caT to define and present various documents, such as formal specification of software requirements and customized Web documents. Since caT is based on a formal model, the behavioral characteristics of developed caT models can be analyzed. Current debugging and analysis tools, integrated into the authoring tool, are also introduced.