Dix, Alan, Ghazali, M, Gill, Steve, Hare, Jo and Ramduny-Ellis, Devina (2009) Physigrams: Modelling Devices for Natural Interaction. Formal Aspects of Computing, 21 (6). pp. 613-641. ISSN 0934-5043Metadata only available from this repository.
This paper explores the formal specification of the physical behaviour of devices 'unplugged'; from their digital effects. By doing this we seek to better understand the nature of physical interaction and the way this can be exploited to improve the design of hybrid devices with both physical and digital features. We use modified state transition networks of the physical behaviour, which we call physigrams, and link these to parallel diagrams of the digital state. These are used to describe a number of features of physical interaction exposed by previous work and relevant properties expressed using a formal semantics of the diagrams. As well as being an analytic tool, the physigrams have been used in a case study where product designers used and adapted them as part of the design process.
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
|Schools:||School of Computing and Engineering|
|Depositing User:||Devina Ramduny-Ellis|
|Date Deposited:||27 Mar 2012 16:21|
|Last Modified:||27 Mar 2012 16:21|
Item control for Repository Staff only: