An Algebraic Dexter-Based Hypertext Reference Model
| dc.creator | Mattick, Volker | |
| dc.creator | Wirth, Claus-Peter | |
| dc.date | 2009-02-20 | |
| dc.date.accessioned | 2026-07-07T12:45:07Z | |
| dc.date.available | 2026-07-07T12:45:07Z | |
| dc.description | 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. | |
| dc.description | ii + 48 pages | |
| dc.identifier | https://arxiv.org/abs/0902.3648 | |
| dc.identifier | http://arxiv.org/abs/0902.3648 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/220992 | |
| dc.subject | Artificial Intelligence | |
| dc.subject | Logic in Computer Science | |
| dc.title | An Algebraic Dexter-Based Hypertext Reference Model | |
| dc.type | text |