Object-oriented analysis (2nd ed.)
Object-oriented analysis (2nd ed.)
The Dexter hypertext reference model
Communications of the ACM
The Amsterdam hypermedia model: adding time and context to the Dexter model
Communications of the ACM
Toward a Dexter-based model for open hypermedia: unifying embedded references and link objects
Proceedings of the the seventh ACM conference on Hypertext
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
AHAM: a Dexter-based reference model for adaptive hypermedia
Proceedings of the tenth ACM Conference on Hypertext and hypermedia : returning to our diverse roots: returning to our diverse roots
Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web by Its Inventor
Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web by Its Inventor
The Munich Reference Model for Adaptive Hypermedia Applications
AH '02 Proceedings of the Second International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Hi-index | 0.00 |
Although the Unified Modeling Language (UML) is by now accepted as a standard and is widely used as an object-oriented modeling language, some languages such as Z or VDM are preferred to formally specify reference models. Here, we present a reference model for hypermedia systems in UML. It is an object-oriented and Dexter-based approach that uses UML to provide an intuitive graphical representation of the model. The class diagrams are supplemented with formal constraints in the Object Constraint Language (OCL), adding invariants on elements as well as preconditions and postconditions on operations. The result is an easily extendable reference model for describing specific hypermedia systems, for example, like adaptive or mobile systems. Our contribution shows how formal and semiformal object-oriented techniques can be integrated in the metamodeling process.