Doberkat, Ernst-Erich2004-12-062004-12-0619952002-04-04http://hdl.handle.net/2003/265410.17877/DE290R-14179The architecture of hyperdocuments is described using an object-oriented approach and first order logic. The architectural description focusses on the static behavior of linkable document, it is based o n persistent data the properties of which are described using mechanisms from logic programming. It is shown how to build up specialization hierarchies and generic document classes. The semantics of a hyperdocument is given compositionally through the semantics of its documents parts.enUniversität DortmundInternes Memorandum des Lehrstuhls für Software-Technologie / Fachbereich Informatik, Universität Dortmund ; 84004A language for specifying hyperdocumentsarticle (journal)