Loading...
Please wait, while we are loading the content...
Similar Documents
Specifying navigational transformations in hypermedia. A temporal logic framework (1996).
| Content Provider | CiteSeerX |
|---|---|
| Author | Mere, M. C. Rossi, G. |
| Abstract | In this extended abstract we present a temporal logic formalism for specifying navigational transformations in hypermedia applications. Using temporal logic it is possible to specify both the static and dynamic aspects of the navigational structure of such applications. We present our framework in the context of the Object-Oriented Hypermedia Design Methodology (OOHDM) though it can be applied to other methods involving graphs as the specification structure for navigation. We show that the power of the temporal logic formalism is enough to deal with concepts, like navigational contexts, backtracking, etc., and compare our formalism with others in the hypermedia field. 1 Introduction In the last four years there has been growing interest in hypermedia design models and methodologies. The "Web explossion" has made evident certain problems suffered by the final user like getting lost in the hiperspace, cognitive overhead, etc. As new Web browsers begin to include new navigation and inter... |
| File Format | |
| Publisher Date | 1996-01-01 |
| Access Restriction | Open |
| Subject Keyword | Navigational Transformation Temporal Logic Framework Temporal Logic Formalism Hypermedia Design Model Extended Abstract Specification Structure Hypermedia Field Navigational Context Object-oriented Hypermedia Design Methodology Dynamic Aspect Navigational Structure Web Explossion Temporal Logic Hypermedia Application Final User New Navigation Cognitive Overhead New Web Browser Evident Certain Problem |
| Content Type | Text |
