基于代数Dexter的超文本参考模型
An Algebraic Dexter-Based Hypertext Reference Model
摘要：
我们提出了第一个正式的代数规范的超文本参考模型。它基于著名的Dexter超文本参考模型，并包括自WWW出现以来超文本发展方面的修改。我们的超文本模型是作为一个产品模型开发的，其目的是自动支持设计过程，并扩展到超文本系统的模型，以便能够描述在这个过程中的状态转换。虽然规范应该容易阅读代数规范的非专家，它保证了独特的理解，并使基于逻辑的开发和验证的密切联系。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
