Petri nets: an introduction
ACM Transactions on Information Systems (TOIS)
Neptune: a hypertext system for CAD applications
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
The multimedia object presentation manager of MINOS: a symmetric approach
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Contexts—a partitioning concept for hypertext
ACM Transactions on Information Systems (TOIS)
KMS: a distributed hypermedia system for managing knowledge in organizations
Communications of the ACM
Reflections on NoteCards: seven issues for the next generation of hypermedia systems
Communications of the ACM
HAM: a general purpose hypertext abstract machine
Communications of the ACM
Abstraction mechanisms in hypertext
Communications of the ACM
Hypertext '87: keynote address
Communications of the ACM
Active paths through multimedia documents
Proceedings of the International Conference on Electronic Publishing on Document manipulation and typography
Proceedings of the International Conference on Electronic Publishing on Document manipulation and typography
Extending Petri nets for specifying man-machine dialogues
International Journal of Man-Machine Studies
Guided tours and tabletops: tools for communicating in a hypertext environment
ACM Transactions on Information Systems (TOIS)
Interactive effectivity control: design and applications
DOCPROCS '88 Proceedings of the ACM conference on Document processing systems
User interface design for the Hyperties electronic encyclopedia (panel session)
HYPERTEXT '87 Proceedings of the ACM conference on Hypertext
A CAD tool for stochastic Petri nets
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
An experimental system for creating and presenting interactive graphical documents
ACM Transactions on Graphics (TOG)
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A Timed Petri Net Methodolgoy for Specifying Real-Time System Timing Requirements
International Workshop on Timed Petri Nets
Hierarchical Modeling of Software Systems with Timed Petri Nets
International Workshop on Timed Petri Nets
Guided tours and on-line presentations: how authors make existing hypertext intelligible for readers
HYPERTEXT '89 Proceedings of the second annual ACM conference on Hypertext
Programmable browsing semantics in Trellis
HYPERTEXT '89 Proceedings of the second annual ACM conference on Hypertext
A transient hypergraph-based model for data access
ACM Transactions on Information Systems (TOIS)
SIGIR '90 Proceedings of the 13th annual international ACM SIGIR conference on Research and development in information retrieval
The modelling and retrieval of documents using index expressions
ACM SIGIR Forum
A conceptual modelling approach to authoring-in-the-large for hypertext documents
COCS '91 Proceedings of the conference on Organizational computing systems
Multi-level specification and protocol design for distributed multimedia communication
COCS '91 Proceedings of the conference on Organizational computing systems
What's Eliza doing in the Chinese room? Incoherent hyperdocuments—and how to avoid them
HYPERTEXT '91 Proceedings of the third annual ACM conference on Hypertext
Dynamic adaptation of hypertext structure
HYPERTEXT '91 Proceedings of the third annual ACM conference on Hypertext
HDM—a model for the design of hypertext applications
HYPERTEXT '91 Proceedings of the third annual ACM conference on Hypertext
Supporting exploratory CSCW with the EGRET framework
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
Structural analysis of hypertexts: identifying hierarchies and useful metrics
ACM Transactions on Information Systems (TOIS)
HDM—a model-based approach to hypertext application design
ACM Transactions on Information Systems (TOIS)
A digital on-demand video service supporting content-based queries
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Combining hypertext and structured documents in Grif
ECHT '92 Proceedings of the ACM conference on Hypertext
Matching hypertext models to hypertext systems
ECHT '92 Proceedings of the ACM conference on Hypertext
An extensible data model for hyperdocuments
ECHT '92 Proceedings of the ACM conference on Hypertext
Using statecharts to model hypertext
ECHT '92 Proceedings of the ACM conference on Hypertext
The architecture and implementation of a distributed hypermedia storage system
HYPERTEXT '93 Proceedings of the fifth ACM conference on Hypertext
Node re-usability in structured hypertext systems
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Hyperdocuments as automata: trace-based browsing property verification
ECHT '92 Proceedings of the ACM conference on Hypertext
Analytical version control management in a hypertext system
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Multi-level documentation of organizational architectures and processes
SIGDOC '94 Proceedings of the 12th annual international conference on Systems documentation: technical communications at the great divide
AMS formalism: an approach to office modeling and OIS development
ACM SIGMIS Database
The walk-through approach to authoring multimedia documents
MULTIMEDIA '94 Proceedings of the second ACM international conference on Multimedia
Querying typed hypertexts in Multicard/O2
ECHT '94 Proceedings of the 1994 ACM European conference on Hypermedia technology
Interpreted collaboration protocols and their use in groupware prototyping
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
Modelling adaptive interaction of OPADE by Petri nets
ACM SIGCHI Bulletin
Dynamic hyperdocuments: authoring replaces programming
Communications of the ACM
Daistish: systematic algebraic testing for OO programs in the presence of side-effects
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
A tool to support specification and evaluation of context-customized interfaces
ACM SIGCHI Bulletin
Multimedia database management systems
ACM Computing Surveys (CSUR)
The structure of hypertext activity
Proceedings of the the seventh ACM conference on Hypertext
A navigation-oriented hypertext model based on statecharts
HYPERTEXT '97 Proceedings of the eighth ACM conference on Hypertext
Supporting user-defined activity spaces
HYPERTEXT '97 Proceedings of the eighth ACM conference on Hypertext
The World Wide Web: what cost simplicity?
HYPERTEXT '97 Proceedings of the eighth ACM conference on Hypertext
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
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
Dynamic hypertext catalogues: helping users to help themselves
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
Locus looks at the Turing play: hypertextuality vs. full programmability
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
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
Structural properties of hypertext
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
Tools and approaches for developing data-intensive Web applications: a survey
ACM Computing Surveys (CSUR)
The evolution of hypertext link services
ACM Computing Surveys (CSUR)
Structural patterns and hypertext rhetoric
ACM Computing Surveys (CSUR)
Model-driven development of Web applications: the AutoWeb system
ACM Transactions on Information Systems (TOIS)
A statechart-based model for hypermedia applications
ACM Transactions on Information Systems (TOIS)
An Integrated Approach to Designing and Evaluating CollaborativeApplications and Infrastructures
Computer Supported Cooperative Work
Modeling the Dynamic Behavior of Hypermedia Applications
IEEE Transactions on Software Engineering
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Card shark and thespis: exotic tools for hypertext narrative
Proceedings of the 12th ACM conference on Hypertext and Hypermedia
Model checking cobweb protocols for verification of HTML frames behavior
Proceedings of the 11th international conference on World Wide Web
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
HySCharts: A Statechart-Based Environment for Hyperdocument Authoring and Browsing
Multimedia Tools and Applications
An Authorization Model for a Distributed Hypertext System
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Interval-Based Conceptual Models for Time-Dependent Multimedia Data
IEEE Transactions on Knowledge and Data Engineering
Formal-Driven Conceptualization and Prototyping of Hypermedia Applications
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Modeling Web Navigation by Statechart
COMPSAC '00 24th International Computer Software and Applications Conference
A Framework for Flexible Information Presentation in Digital Collections
ICADL '02 Proceedings of the 5th International Conference on Asian Digital Libraries: Digital Libraries: People, Knowledge, and Technology
ECDL '02 Proceedings of the 6th European Conference on Research and Advanced Technology for Digital Libraries
Modelling Security Policies in Hypermedia and Web-Based Applications
Web Engineering, Software Engineering and Web Application Development
IHM '02 Proceedings of the 14th French-speaking conference on Human-computer interaction (Conférence Francophone sur l'Interaction Homme-Machine)
Extensions to the PUIST User Interface Specification Too
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Subdocument invocation semantics in collaborative hyperdocuments
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
Educational applications of multi-client synchronization through improved Web graph semantics
WET-ICE '96 Proceedings of the 5th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'96)
Browsing intricately interconnected paths
Proceedings of the fourteenth ACM conference on Hypertext and hypermedia
Authoring-in-the-large: software engineering techniques for hypertext application design
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Language-theoretic classification of hypermedia paths
Proceedings of the fifteenth ACM conference on Hypertext and hypermedia
FaceSpace: endo- and exo-spatial hypermedia in the transparent video facetop
Proceedings of the fifteenth ACM conference on Hypertext and hypermedia
Proceedings of the fifteenth ACM conference on Hypertext and hypermedia
Saving private hypertext: requirements and pragmatic dimensions for preservation
Proceedings of the fifteenth ACM conference on Hypertext and hypermedia
Modelling hypermedia and web applications: the Ariadne development method
Information Systems
Modeling web applications reacting to user behaviors
Computer Networks: The International Journal of Computer and Telecommunications Networking - Web dynamics
Towards efficient web engineering approaches through flexible process models
Journal of Systems and Software
ALPS (A Language for Process Specification) - A definition language for hypertext trails
Information Services and Use
Course Material Research Based on Perti Net
ICWL '08 Proceedings of the 7th international conference on Advances in Web Based Learning
Open paper: caT: adapting and updating the trellis hypertext model
The New Review of Hypermedia and Multimedia
A probabilistic approach to navigation in Hypertext
Information Sciences: an International Journal
Modelling hypermedia and web applications: the Ariadne Development Method
Information Systems
Modelling form-based interfaces with bipartite state machines
Interacting with Computers
Journal of Visual Languages and Computing
Enhancing web-based adaptive learning with colored timed Petri net
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Component-based authoring of complex, Petri net-based digital library infrastructure
ECDL'10 Proceedings of the 14th European conference on Research and advanced technology for digital libraries
An approach to user-behavior-aware web applications
ICWE'05 Proceedings of the 5th international conference on Web Engineering
Separation of concerns in hypertext: articulation points that increase flexibility
From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments
Co-creation in ambient narratives
Ambient Intelligence in Everyday Life
Research: Object model for hypermedia applications
Computer Communications
TouchStory: combining hyperfiction and multitouch
Proceedings of the 24th ACM Conference on Hypertext and Social Media
Hi-index | 0.02 |
We present a formal definition of the Trellis model of hypertext and describe an authoring and browsing prototype called &agr;Trellis that is based on the model. The Trellis model not only represents the relationships that tie individual pieces of information together into a document (i.e., the adjacencies), but specifies the browsing semantics to be associated with the hypertext as well (i.e., the manner in which the information is to be visited and presented). The model is based on Petri nets, and is a generalization of existing directed graph-based forms of hypertext. The Petri net basis permits more powerful specification of what is to be displayed when a hypertext is browsed and permits application of previously developed Petri net analysis techniques to verify properties of the hypertext. A number of useful hypertext constructs, easily described in the Trellis model, are presented. These include the synchronization of simultaneous traversals of separate paths through a hypertext, the incorporation of access controls into a hypertext (i.e., specifying nodes that can be proven to be accessible only to certain classes of browsers), and construction of multiple specialized (tailored) versions from a single hypertext.