An Object-Oriented Hypermedia Reference Model Formally Specified in UML

An Object-Oriented Hypermedia Reference Model Formally Specified in UML

Nora Koch (Ludwig-Maximilians-University Munich, Germany and F.A.S.T. Applied Software Technology GmbH, Germany)
Copyright: © 2003 |Pages: 20
DOI: 10.4018/978-1-59140-050-9.ch004
OnDemand PDF Download:
$30.00
List Price: $37.50

Abstract

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.

Complete Chapter List

Search this Book:
Reset