The Dexter Hypertext Reference Model in Object - ZJacco
نویسندگان
چکیده
As a starting point for a hypermedia object model for the DejaVu project, we describe an object-oriented version of the Dexter hypertext reference model. While the original model was formally deened in the Z speciication language we will use Object-Z to formalize our hypermedia model.
منابع مشابه
Using a Reference Model for Information System Compatibility: An Experience
Because of the rapid pace of advances in the eld of hypertext, data interchange systems are becoming important for the longevity of information systems based on hypertext or including hypertext features. Reference models, identifying those traits that are common to all systems of a certain kind, allow us to create an intermediate data format useful for data interchange. The Dexter Hypertext Ref...
متن کاملAn Algebraic Dexter-Based Hypertext Reference Model
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 hypertextsystem...
متن کاملThe Munich Reference Model for Adaptive Hypermedia Applications
Although adaptive applications are increasing in popularity, there are only a few approaches that focus on their generalization or the specification of a reference model. Trying to fill this gap, this paper presents a reference model for adaptive hypermedia applications, similar to AHAM. The main novelty of our approach is an object-oriented specification written in UML (Unified Modeling Langua...
متن کاملFurther Modifications to the Dexter Hypertext Reference Model: a Proposal
The Dexter Hypertext Reference Model is considered the most general formal expression for the description of hypertext systems. Its purpose is to present a standard for the realization and the organization of this kind of system. The model gives a set of definitions, expressed in Z language, describing the nodes and links forming the domain network. Besides the relationship between components i...
متن کاملSpecification Runtime Layer Storage Layer Within - Component Layer
In this paper, we describe the design and implementation of a hypermedia system that has the following characteristics. First, being designed according to the Dexter hypertext reference model, it has a lay-ered architecture and thus maintains commonality with other hypermedia systems based on the Dexter model. Second, being designed based on the MHEG standard, it has data structures that are in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995