An Algebraic Dexter-Based Hypertext Reference Model

Details An Algebraic Dexter-Based Hypertext Reference Model An Algebraic Dexter-Based Hypertext Reference Model

2009-02-20

arxiv.org/abs/0902.3648v1

Computer Science

Artificial Intelligence

ii + 48 pages

Scientific paper

We present the first formal algebraic specification of a hypertext reference model. It is based on the well-known Dexter Hypertext Reference Model and includes modifications with respect to the development of hypertext since the WWW came up. Our hypertext model was developed as a product model with the aim to automatically support the design process and is extended to a model of hypertext-systems in order to be able to describe the state transitions in this process. While the specification should be easy to read for non-experts in algebraic specification, it guarantees a unique understanding and enables a close connection to logic-based development and verification.

Affiliated with

Also associated with

No associations

Rating

An Algebraic Dexter-Based Hypertext Reference Model does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An Algebraic Dexter-Based Hypertext Reference Model, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An Algebraic Dexter-Based Hypertext Reference Model will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-672091