Abstract
Main development and use activities of Hypermedia-Systems evolve through time. Hypermedia-systems need models that support the evolutionary nature of their building, maintenance and navigation processes. The System Theory and cognitive models offer a better perspective of web-systems and succeed in abstracting their structure, information and behaviour. We assume that an Evolutionary Hypermedia System must be modelled by means of a set of interrelated and interacting systems that allow: a) from the author.s viewpoint, complete and flexible control of the development and maintenance of hyperdocuments; b) from the reader.s point of view, an understandable navigation that allows easy access to and selection of information. The Model allows an explicit representation of the semantic content which allows us to structure the information-system and determines its possibilities of change, updating and evolution. In addition, the model is flexible enough in offering the necessary mechanisms to incorporate and represent the author.s conceptual-domains in order to characterise the information-domains.
This research is supported by a project .MEIGAS- by the Spanish CICYT (TIC2000-1673- C06-04) which is a subproject of the DOLMEN project (TIC2000-1673-C06).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bush, V.: As We May Think, The Atlantic Monthly, July (1945) 176, 101–108. [On-line] http://www.isg.sfu.ca/ duchier/misc/vbush/.
Campbell, B., Goodman, J.M.: HAM: A general purpose Hypertext Abstract Machine, CACM, Vol. 31, n.7, July (1988) 856–861.
De Bra, P., Houben, G.J., Kornatzky, Y.: An Extensible Data Model for Hyperdocuments, 4th ACM Conference on Hypertext, Milan, December (1992) 222–231.
Furuta R., Stotts, P.D.: The Trellis Hypertext Reference Model, NIST Hypertext Standardization Workshop, February (1990) 83–93.
García-Cabrera, L., Parets-Llorca, J.: A Cognitive Model for Adaptive Hypermedia Systems. The 1st International Conference on Web Information Systems Engineering, Workshop on WWW Semantics. IEEE Press. Hong-Kong, China, June (2000) 29–33.
García-Cabrera, L., Rodríguez-Fórtiz, M. José, Parets-Llorca, J.: Formal Foundations for the Evolution of Hypermedia Systems. 5th European Conference on Software Maintenance and Reengineering, Workshop on FFSE. IEEE Press. Lisbon, Portugal, March (2001) 5–12.
Halasz, F., Schwartz, M.: The Dexter Hypertext Reference Model, NIST Hypertext Standardization Workshop, February (1990) 95–133.
Lange, D.B.: A Formal Model of Hypertext, NIST Hypertext Standardization Workshop, February (1990) 145–166.
Le Moigne, J-L.; La théorie du systéme général. Théorie de la modélisation. Paris. Presse Universitaires de France (1990).
Lin, C.; Chaudhury, A.; Whinston, A. B.; Marinescu, D. C.: Logical Inference of Horn Clauses in Petri Net Models. IEEE Transactions on Knowledge and Data Engineering, vol 5,3. (1993) 416–425.
Parets, J.; Torres, J.C. 1996. Software Maintenance versus Software Evolution: an Approach to Software Systems Evolution. IEEE Symposium and Workshop on Engineering of Computer Based-Systems (ECB.96). Friedrichshafen, Germany, March (1996) 134–141.
Schnase, J. L., Leggett, J.J, Hicks, D.L., Szabo, R. L.: Semantic Data Modelling of Hypermedia Associations. ACM Transactions on Information Systems, Vol. 11, n.1, January (1993) 27–50.
Shipman III, F.M., McCall, R. J.: Integrating Different Perspectives on Design Rationale: Supporting the Emergence of Design Rationale form Design Communication. Artificial Intelligence in Engineering Design, Analysis, and Manufacturing (AIEDAM), Vol. 11, n.2, April (1997) 141–154.
Sowa, J. F., De: Principles of Semantic Networks: Explorations in the Representation of Knowledge. The Morgan Kaufmann Series in Representation and Reasoning. San Mateo, California, Morgan Kaufmann (1991).
Rodriguez-Fortiz, M.J, Parets Llorca, J.: Using Predicate Temporal Logic and Coloured Petri Nets to specifying integrity restrictions in the structural evolution of temporal active systems. ISPSE 2000. International Symposium on Principles of Software Evolution. Kanazawa, Japan, November (2000) 81–85.
Stotts, P.D., Furuta, R., Ruiz-Cabarrus, C.: Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking. ACM TOIS, Vol. 16, n. 1, January (1998) 1–30.
Uschold, M.: Ontologies: Principles, Methods and Applications. Knowledge Engineering Review, vol. 11, n. 2, June (1996).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
García-Cabrera, L., Rodríguez-Fórtiz, M.J., Parets-Llorca, J. (2001). Toward a Formalisation of Evolutionary Hypermedia Systems Based on System Theory. In: Moreno-Díaz, R., Buchberger, B., Luis Freire, J. (eds) Computer Aided Systems Theory — EUROCAST 2001. EUROCAST 2001. Lecture Notes in Computer Science, vol 2178. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45654-6_22
Download citation
DOI: https://doi.org/10.1007/3-540-45654-6_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42959-3
Online ISBN: 978-3-540-45654-4
eBook Packages: Springer Book Archive