An Algebraic Dexter-Based Hypertext Reference Model
Artificial Intelligence
2009-02-23 v1 Logic in Computer Science
Abstract
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.
Cite
@article{arxiv.0902.3648,
title = {An Algebraic Dexter-Based Hypertext Reference Model},
author = {Volker Mattick and Claus-Peter Wirth},
journal= {arXiv preprint arXiv:0902.3648},
year = {2009}
}
Comments
ii + 48 pages