A Formal Approach to Consistency and Reuse of Links in World Wide Web Applications

  • Philippe Palanque
  • Fabio Paternò
Part of the Formal Approaches to Computing and Information Technology (FACIT) book series (FACIT)


It is widely known that hypermedia systems, which are strongly based on human computer interaction, have been accepted as an innovative framework which plays an important role in current computing environments.


Formal Method Formal Approach Presentation Module Universal Resource Locator Link Component 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 4.
    LES (Statechart Language Specification) is a language which allows the textual description of the structural components of a hyperdocument, according to the Statechart syntax and semantics (Harel 87).Google Scholar
  2. 5.
    It is a common practice that anchors in source-nodes and anchors in destination-nodes are treated differently. An anchor is necessary in the source-node since it is the starting point of a link to another node (generally). At the arrival node, in general, an anchor is an entry point to that node and it does not need to be presented to the reader.Google Scholar

Copyright information

© Springer-Verlag London Limited 1998

Authors and Affiliations

  • Philippe Palanque
    • 1
  • Fabio Paternò
    • 2
  1. 1.LIS-FROGISUniversity of ToulouseToulouse CedexFrance
  2. 2.CNUCE-CNRPisaItaly

Personalised recommendations