Analysing cognitive behaviour using LOTOS and Mexitl

Formal Aspects of Computing

Volumn 11, Issue 2, 1999, Pages 132-159

  Bowman, Howard ^a   Faconti, Giorgio ^b  

^a UNIVERSITY OF KENT   (United Kingdom)

^b ISTI CNR   (Italy)

Author keywords

Cognitive behaviour; LOTOS; Process calculi; Temporal logic

Indexed keywords

EID: 0002665997     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650050045     Document Type: Article

References (33)

1. Anderson, J. R.: The Architecture of Cognition. Harvard University Press, 1983.
2. Bordegoni, M. and De Angelis, F.: Gesture-based and haptic interaction for human skill aquisition. In Gesture and Sign-Language in Human-Computer Interaction, LNAI, vol. 1371. Springer-Verlag, 1997.
3. Barnard, P. J.: Interacting cognitive subsystems: A psycholinguistic approach to short-term memory. In Progress in the Psychology of Language, volume 2. Lawrence Erlbaum Associates, 1985.
4. Barnard, P. J.: Interactive cognitive subsystems: Modelling working memory phenomena with a multi-processor architecture. In A. Miyake and P. Shah, editors, Models of Working Memory. Cambridge University Press, 1998.
5. Bolognesi, T. and Brinksma, E.: Introduction to the ISO Specification Language LOTOS. Comp. Networks and ISDN Systems, 14(1):25-29, 1988.
6. Bowman, H., Cameron, H., King, P. and Thompson, S.: Mexitl: Multimedia in Executable Interval Temporal Logic. Technical Report 3-97, Computing Laboratory, University of Kent at Canterbury. May 1997.
7. Bowman, H., Cameron, H., King, P. and Thompson, S.: Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. In Int. Conf. on Temporal Logic, Applied Logic Series. Kluwer, July 1997.
8. Bowman, H., Faconti, G. and Massink, M: Towards integrated cognitive and interface analysis. Technical report, Submitted for publication, 1999.
9. Bordegoni, M. and Hemmje, M.: A dynamic gesture language and graphical feedback for interaction in a 3d user interface. Computer Graphics Forum, 12(3): 1-11, 1993.
10. Barnard, P. J. and May, J.: Interactions with advanced graphical interfaces and the deployment of latent human knowledge. In Eurographics Workshop on Design, Specification and Verification of Interactive Systems, pages 15-49. Springer, June 1995.
11. Barnard, P. J. and May, J.: Representing cognitive activity in complex tasks. Human-Computer Interaction, 1999. to appear.
12. Bowman, H.: An interpretation of cognitive theory in concurreny theory (long version). Technical Report 8-98, Computing Laboratory, University of Kent at Canterbury, 1998. http://www.cs.ukc.ac.uk/pubs/1998/646/index.local.
13. Barnard, P. J. and Teasdale, J. D.: Interacting cognitive subsystems: A systemic approach to cognitive-affective interaction and change. Cognition and Emotion, 5:1-59, 1991.
14. Bowman, H. and Thompson, S. J.: A tableaux method for interval temporal logic with projection. In TABLEAUX'98. International Conference on Analytic Tableaux and Related Methods, volume 1397 of Lecture Notes in AI, pages 108-123. Springer-Verlag, May 1998.
15. Duke, D. J., Barnard, P. J., May, J. and Duce, D. A.: Systematic development of the human interface. In APSEC'95, Second Asia Pacific Software Engineering Conference. Brisbane. IEEE Computer Society Press, December 1995.
16. Duke, D. J., and Duce, D.A.: Syndetic modelling: A new opportunity for formal methods. Technical Report ID/WP57, Amodeus-2 Project Report, WWW: http://www.mrccbu.cam.ac.uk/amodeus/abstracts/id/id_wp57.html, 1996.
17. Duke, D., Faconti, G., and Massink, M.: Synchronisation and delay in a formal model of user cognition. In S.Constantine, editor. Proceedings of the ERCIM Workshop on User Interfaces for All, Prague, 1996. http://www.ics.forth.gr/ercim-wg-ui4all/UI4ALL96/proceedings.html.
18. DIT. LOLA: LOtos LAboratory. Departamento de Ingenieria Telematica, Universidad Politecnica de Madrid, 1988. http://selva.dit.upm.es/ lotos/tools/lola.html.
19. de Meer, J., Roth, R., and Vuong, S.: Introduction to algebraic specifications based on the language ACT ONE. Computer Networks and ISDN Systems, 23: 363-392, 1992.
20. Duke, D. J.: Reasoning about gestural interaction. Eurographics'95, 14(3), 1995.
21. Faconti, G. P. and Duke, D. J.: Device models. In DSV-IS'96. Design, Specification and Verification of Interactive Systems, pages 73-91. Springer-Verlag, 1996.
22. Faconti, G. P. and Massink, M.: A formal account of deixis in multimodal interaction. Technical report, CNR Istituto-CNUCE, Pisa, Italy, 1998. Submitted for Publication.
23. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
24. Hoare, C. A. R.: Communicating Sequential Processes. Prentice Hall, 1985.
25. Jensen, K. and Rozenberg, G.: editors. High-level Petri Nets. Springer-Ver ag, 1991.
26. Milner, R.: Communication and Concurrency. Prentice-Hall, 1989.
27. Moskowski, B.: Executing Temporal Logic. Cambridge University Press. 1986.
28. Manna, Z. and Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.
29. Nigay, L. and Coutaz., J.: A generic platform for addressing the multimodal challenge. In Proceedings of ACM CHI'95, pages 98-105. ACM Press, 1995.
30. Newell, A.: Unified Theories of Cognition. Harvard University Press, 1990.
31. Oviatt, S. L., DeAngeli, A. and Kuhn, K.: Integration and synchronization of input modes during multimodal human-computer interaction. In Conference on Human Factors in Computing Systems: CHI'97, pages 415-422. ACM Press, 1997.
32. Reitman, W.: Cognition and Thought. Wiley, 1965.
33. Teasdale, J. D. and Barnard, P. J.: Affect, Cognition and Change: Re-modelling Depressive Thought. Lawrence Erlbaum Associates, 1993.