Lancaster EPrints

Modelling Devices for Natural Interaction

Dix, Alan and Ghazali, M. and Ramduny-Ellis, Devina (2007) Modelling Devices for Natural Interaction. In: Proceedings of FMIS 2007 2nd International Workshop on Formal Methods for Interactive Systems, 1900-01-01.

[img]
Preview
PDF (FMIS-2007-submitted.pdf)
Download (685Kb) | Preview

    Abstract

    We do not interact with systems without first performing some physical action on a physical device. This paper shows how formal notations and formal models can be developed to account for the relationship between the physical devices that we actually press, twist or pull and their effects on systems. We use state diagrams of each but find we have to extend these in order to account for features such as bounce-back, where buttons or other controls are sprung. Critical to all is the fact that we are physical creatures and so formal models have to take into account that physicality.

    Item Type: Conference or Workshop Item (Paper)
    Journal or Publication Title: Proceedings of FMIS 2007 2nd International Workshop on Formal Methods for Interactive Systems
    Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
    Q Science > QA Mathematics > QA76 Computer software
    Departments: Faculty of Science and Technology > School of Computing & Communications
    Faculty of Arts & Social Sciences > Sociology
    ID Code: 41614
    Deposited By: ep_importer_comp
    Deposited On: 13 Aug 2008 16:09
    Refereed?: Yes
    Published?: Published
    Last Modified: 09 Apr 2014 20:53
    Identification Number:
    URI: http://eprints.lancs.ac.uk/id/eprint/41614

    Actions (login required)

    View Item