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)

Abstract

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.

Keywords

Rounded 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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