Formal framework for hypertext systems

IEE Proceedings: Software

Volumn 144, Issue 3, 1997, Pages 175-183

  D'Inverno, M ^a   Priestley, M ^a   Luck, M ^b  

^a UNIVERSITY OF WESTMINSTER   (United Kingdom)

^b UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

Explicit definitions; Hypertext; Specification

Indexed keywords

ABSTRACTING; EVALUATION; LOGIC DESIGN; MATHEMATICAL MODELS; SET THEORY; SPECIFICATIONS;

HYPERTEXT;

INFORMATION ANALYSIS;

EID: 0031153637     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:19971395     Document Type: Article

References (27)

1. D'INVERNO, M., and PRIESTLEY, M.: 'Structuring a Z specification to provide a unifying framework for hypertext systems' in BOWEN, J.P., and HINCHEY, M.G. (Eds.): 'ZUM'95' 9th international conference of Z users, 1995, Heidelberg, Lecture Notes in Computer Science (Springer-Verlag, 1995), vol. 967, pp. 83-102
2. AFRATI, F., and KOUTRAS, C.: 'A hypertext model supporting query mechanisms' in Hypertext: concepts, systems and applications. Proceedings of the European conference on Hypertext, 1990, pp. 52-66
3. GARG, P.: 'Abstraction mechanisms in hypertext', Commun. ACM, 1988, 31, (7), pp. 862-870
4. LANGE, D.: 'A formal model for hypertext'. Proceedings of the NIST Hypertext standardization workshop, 1990
5. STOTTS, D., and FURATA, R.: 'Petri-net-based hypertext: document structure with browsing semantics', ACM Trans. Inf. Syst., 1989, 7, (1), pp. 3-29
6. TOMPA, F.: 'A data model for flexible hypertext database systems', ACM Trans. Inf. Syst., 1989, 7, (1), pp. 85-100
7. D'INVERNO, M., and LUCK, M.: 'Structuring a Z specification to provide a formal framework for autonomous agent systems', in BOWEN, J.P., and HINCHEY, M.G. (Eds.): 'ZUM'95: 9th international conference of Z users', Lecture Notes in Computer Science, (Springer-Verlag, 1995), 21, (1), pp. 48-62
8. SPIVEY, J.M.: 'The Z Notation (Prentice-Hall, Hemel Hempstead, 1992), 2nd ed
9. D'INVERNO, M., and CROWCROFT, J.: 'Design, specification and implementation of an interactive conferencing system'. Proceedings of IEEE Infocom, Miami, USA (IEEE, 1991)
10. D'INVERNO, M.: 'Using Z to capture the essence of a contract net'. Master's thesis, Programming Research Group, Oxford University, 1988
11. D'INVERNO, M., and LUCK, M.: 'A formal view of social dependence networks'. In Distributed artificial intelligence architecture and modelling. Proceedings of the first Australian workshop on Distributed artificial intelligence, Lecture Notes in Artificial Intelligence, 1087 (Springer-Verlag, 1996), pp. 115-129
12. D'INVERNO, M., LUCK, M., VAN DE VELDE, W., and PERRAM, J.W.: 'Formalising the contract net as a goal directed system', in VAN DE VELDE, W., and PERRAM, J.W. (Eds.): 'Agents breaking away: Proceedings of the seventh European workshop on Modelling autonomous agents in a multi-agent world', Lecture Notes in Artificial Intelligence, 1038 (Springer-Verlag, 1996), pp. 72-85
13. D'INVERNO, M., JUSTO, G.R., and HOWELLS, P.: 'A formal framework for specifying design methodologies', Softw. Proc.: Improvement and Practice, 1996, 2, (3), pp. 181-195
14. LUCK, M., and D'INVERNO, M.: 'A formal framework for agency and autonomy'. Proceedings of the first international conference on Multi-agent systems (AAAI Press/MIT Press, 1995), pp. 254-260
15. HALASZ, F., and SCHWARTZ, M.: 'The Dexter hypertext', Commun. ACM, 1994, 37, (2), pp. 30-39
16. CAMPELL, B., and GOODMAN, J.: 'HAM: a general purpose hypertext abstract machine', Commun. ACM, 1988, 31, (7), pp. 856-861
17. HALASZ, F.: 'Reflections on NoteCards: seven issues for the next generation of hypermedia systems', Commun. ACM, 1988, 31, (7)
18. AKSCYN, R., MCCRACKEN, D., and YODER, E.: 'KMS: A distributed hypertext for managing knowledge in organizations', Commun. ACM, 1988, 31, (7)
19. YANKELOVICH, N., HAAN, A., MEYROWITZ, N., and DRUCKER, S.: 'Intermedia: The concept and the construction of a seamless information environment', IEEE Computer, 1988, 21, (1)
20. ENGLEBART, D.: 'Authorship provisions in Ausment'. Proceedings of the IEEE COMPCON, 1984
21. HU, M.J., and KIRSTEIN, P.: 'An intelligent hypertext system'. The first international workshop on Intelligent hypertext (CIKM-93), Washington, November 1993
22. DIX, A., and MANCINI, R.: 'Specifying history and backtracking mechanisms, in PALANQUE, P., and PATERNO, F. (Eds.): 'Formal methods in human-computer interaction' (Springer-Verlag, to appear, 1997)
23. CONKLIN, J.: 'Hypertext: an introduction and survey', Computer, 1987, 20, (9), pp. 17-41
24. GARZOTTO, F., PAOLINI, P., and SCHWABE, D.: 'HDM - a model-based approach to hypertext application desien', ACM Trans. Inf. Syst., 1993, 11, (1), pp. 27-50
25. VAN DYKE PARUNAK, H.: 'Hypermedia topologies and user navigation' in HALASZ, F., and MEYROWITZ, N. (Eds.): Proceedings of ACM Hypertext '89, pp. 43-50
26. D'INVERNO, M., and HU, M.J.: 'A Z specification of the softlink hypertext model', in BOWEN, J., HINCHEY, M.G., and TILL, D. (Eds.): 'ZUM'97: IOth international conference of Z users', Lecture Notes in Computer Science, vol. 1212, pp. 297-316, 1997
27. HU, M.J.: 'An intelligent information system'. PhD thesis, UCL, 1994