A Formal Approach to Consistency and Reuse of Links in World Wide Web Applications
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.
KeywordsFormal Method Formal Approach Presentation Module Universal Resource Locator Link Component
Unable to display preview. Download preview PDF.
- 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
- 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