Title :
Situation Calculus for HCI Design
Author :
England, David ; Randles, Martin ; Taleb-Bendiab, A.
Author_Institution :
Sch. of Comput. & Math. Sci., Liverpool John Moores Univ., Liverpool, UK
Abstract :
In this paper we investigate the role of Situation Calculus in HCI Design. We begin by examining the past and current deployment of formal methods in interaction design. The limitations of previous approaches are discussed and the advantages of Situation calculus proposed. To illustrate these advantages in a complex setting we present models in the situation calculus illuminating some interaction issues in Whole Body Interaction. We then propose some further directions for study in the domain of embodied interaction.
Keywords :
formal specification; human computer interaction; user interface management systems; HCI design; formal methods; situation calculus; whole body interaction; Calculus; Computational modeling; Context; Human computer interaction; Runtime; Semantics; Formal methods; interaction design; situation calculus;
Conference_Titel :
Developments in E-systems Engineering (DESE), 2010
Conference_Location :
London
Print_ISBN :
978-1-4244-8044-9
DOI :
10.1109/DeSE.2010.33
