DocumentCode
3050681
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
fYear
2010
fDate
6-8 Sept. 2010
Firstpage
155
Lastpage
159
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Developments in E-systems Engineering (DESE), 2010
Conference_Location
London
Print_ISBN
978-1-4244-8044-9
Type
conf
DOI
10.1109/DeSE.2010.33
Filename
5633689
Link To Document