Formal Foundations for the Evolution of Hypermedia Systems
Lina García‐Cabrera, María José Rodríguez‐Fórtiz, José Parets-Llorca · 2000
Abstract 1 In this paper, we shall attempt to justify the need for an evolving conception of hypermedia systems and its formalisation. We propose graph theory, predicate logic, temporal logic and Petri nets to support evolution in hypermedia systems. A semantic-dynamic model based on these formalisms is presented. It provides a complete, adaptive and evolving control of development and maintenance of hyperdocuments and an understandable navigation. 1.