It uses set theory and first order predicate logic. HadeZ provides a formal framework in which properties of a specification can be specified and answered. The specification of an application should not constrain its implementation and, therefore, it is independent of the platform in which the application is to be presented. As a consequence, the same design can be instantiated into different applications, each for a different hypermedia platform. Hadez can be further extended with design patterns.
Patterns enable reuse by capturing good solutions to well-known problems.
HadeZ characterizes patterns and makes their use readily available to the designer. Product information is more frequently being delivered as hypertext webs of documents because of the availability of the World-Wide Web and the associated communications infrastructure. However, this type of document with its large number of files and hyperlinks can become very complex and present significant problems for the document creator, maintainer, and user. Because of this complexity it becomes extremely difficult to implement and maintain dynamic aspects of a document, a supposed advantage of a hyperlinked structure. In this chapter we analyze some of the causes for these issues, and then describe some approaches that are being used to make significant improvements to this situation.