Technical Report
 

HelpDez : colored-Petri-net-based hypermedia help system designer

Public Deposited

Downloadable Content

Download PDF
https://ir.library.oregonstate.edu/concern/technical_reports/hh63t4465

Descriptions

Attribute NameValues
Creator
Abstract
  • This paper describes HelpDez, a colored-Petri-net-based approach for the design, simulation, and construction of hypermedia help systems. The storage model, system capabilities, and user interface model of a hypermedia help system are examined. Colored Petri nets are chosen to model hypermedia help systems due to their graphical expressiveness and their applicability to concurrent, asynchronous systems. Also, they make it easy to carry out general validations using previously developed analysis techniques. Furthermore, colored Petri nets allow concurrent browsing paths of a hypermedia help system to be described by a common subnet, without losing the ability to distinguish between them. A formal definition of the HelpDez model based on the colored Petri nets is presented . This model represents the structural properties of the help information (text, graphics, and sound), as well as specifications of the execution semantics associated with hypermedia help systems. The graphical representation of the colored Petri nets provides a powerful tool for specification of the information users can see and hear simultaneously when a hypermedia help system is executed.
Resource Type
Date Issued
Academic Affiliation
Series
Rights Statement
Publisher
Peer Reviewed
Language

Relationships

Parents:

This work has no parents.

Items

Thumbnail Title Date Uploaded Visibility Actions
file details Keh_Lewis_90_60_07.pdf 2022-12-19 Public Download