Skip to main content

Physigrams: Modelling Physical Device Characteristics Interaction

  • Chapter
  • First Online:
The Handbook of Formal Methods in Human-Computer Interaction

Part of the book series: Human–Computer Interaction Series ((HCIS))

Abstract

In industrial control rooms, in our living rooms, and in our pockets, the devices that surround us combine physical controls with digital functionality. The use of a device, including its safety, usability and user experience, is a product of the conjoint behaviour of the physical and digital aspects of the device. However, this is often complex; there are multiple feedback pathways, from the look, sound and feel of the physical controls themselves, to digital displays or the effect of computation on physical actuators such as a washing machine or nuclear power station. Physigrams allow us to focus on the first of these, the very direct interaction potential of the controls themselves, initially divorced from any further electronic or digital effects—that is studying the device ‘unplugged’. This modelling uses a variant of state transition networks, but customised to deal with physical rather than logical actions. This physical-level model can then be connected to underlying logical action models as are commonly found in formal user interface modelling. This chapter describes the multiple feedback loops between users and systems, highlighting the physical and digital channels and the different effects on the user. It then demonstrates physigrams using a small number of increasingly complex examples. The techniques developed are then applied to the control panel of a wind turbine. Finally, it discusses a number of the open problems in using this kind of framework. This will include practical issues such as level of detail and times when it feels natural to let some of the digital state ‘bleed back’ into a physigram. It will also include theoretical issues, notably the problem of having a sufficiently rich semantic model to incorporate analogue input/output such as variable finger pressure. The latter connects back to earlier streams of work on status–event analysis.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 259.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 329.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  • Buxton W (1990) A three-state model of graphical input. In: Proceedings of human–computer interaction—INTERACT’90. Elsevier, Amsterdam, pp 449–456

    Google Scholar 

  • Cauchi A, Oladimeji P, Niezen G, Thimbleby H (2014) Triangulating empirical and analytic techniques for improving number entry user interfaces. In: Proceedings of the 2014 ACM SIGCHI symposium on engineering interactive computing systems (EICS ‘14), ACM, NY, USA, 243–252. doi:10.1145/2607023.2607025

  • Dix A (1991) Formal methods for interactive systems. Academic Press, New York. http://www.hiraeth.com/books/formal/

  • Dix A, Abowd G (1996) Modelling status and event behaviour of interactive systems. Softw Eng J 11(6):334–346. http://www.hcibook.com/alan/papers/SEJ96-s+e/

  • Dix A, Finlay J, Abowd G, Beale R (2004) Human–computer interaction. 3rd edn. Prentice Hall, Englewood Cliffs. http://www.hcibook.com/e3/

  • Dix A (2007) Designing for appropriation. In: Proceedings of BCS HCI 2007, People and computers XXI, vol 2. BCS eWiC. http://www.bcs.org/server.php?show=ConWebDoc.13347

  • Dix A, Ghazali M, Gill S, Hare J, Ramduny-Ellis S (2009) Physigrams: modelling devices for natural interaction. Formal Aspects Comput Springer 21(6):613–641

    Article  MATH  Google Scholar 

  • Eslambolchilar P (2006) Making sense of interaction using a model-based approach. PhD thesis, Hamilton Institute, National University of Ireland, NUIM, Ireland

    Google Scholar 

  • Gaver W (1991) Technology affordances. Proceedings of the SIGCHI conference on Human factors in computing systems (CHI’91). ACM Press, New York, pp 79–84

    Google Scholar 

  • Ghazali M (2007) Discovering physical visceral qualities for natural interaction. PhD thesis, Lancaster University, England, UK

    Google Scholar 

  • Ghazali M, Dix A, Gilleade K (2015) The relationship of physicality and its underlying mapping. ARPN J Eng Appl Sci 10(23):18095–18103

    Google Scholar 

  • Gibson J (1979) The ecological approach to visual perception. Houghton Mifflin Company, USA

    Google Scholar 

  • Green T, Petri M (1996) Usability analysis of visual programming environments: a ‘cognitive dimensions’ framework. J Vis Languages Comput 7:131–174

    Article  Google Scholar 

  • Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8(3):231–274. doi:10.1016/0167-6423(87)90035-9

    Article  MathSciNet  MATH  Google Scholar 

  • Massink M, Duke D, Smith S (1999) Towards hybrid interface specification for virtual environments. In: DSV-IS 1999 design, specification and verification of interactive systems, Springer, Berlin, p 30–51

    Google Scholar 

  • Norman D (1988) The psychology of everyday things. Basic Books, New York 1988

    Google Scholar 

  • Norman D (1999) Affordance, conventions, and design. Interactions, vol 6. no. 3:38–43, ACM Press: NY

    Google Scholar 

  • Oladimeji P, Thimbleby H, Cox A (2011) Number entry interfaces and their effects on error detection. In: IFIP conference on human-computer interaction, Springer, Heidelberg

    Google Scholar 

  • Pfaff G, ten Hagen P (eds) (1985) Seeheim workshop on user interface management systems. Springer, Berlin

    MATH  Google Scholar 

  • Shneiderman B, Plaisant C (2010) Designing the user interface: strategies for effective human-computer interaction, 5th edn. Addison-Wesley, MA

    Google Scholar 

  • Smith S (2006) Exploring the specification of haptic interaction. in Interactive systems: design, specification and verification (DSVIS 2006). Lecture notes in computer science, vol 4323. Springer, Berlin, pp 171–184

    Book  Google Scholar 

  • Thimbleby H (2007) Using the fitts law with state transition systems to find optimal task timings. In: Proceedings of second international workshop on formal methods for interactive systems, FMIS2007. http://www.dcs.qmul.ac.uk/research/imc/hum/fmis2007/preproceedings/FMIS2007preproceedings.pdf

  • TREL (2016) Tilley, Our turbine. tiree renewable energy limited. 24/4/2016. http://www.tireerenewableenergy.co.uk/index.php/tilley-our-turbine/. Accessed 24 Mar 2016

  • Willans J, Harrison M (2000) Verifying the behaviour of virtual world objects. In: Proceedings of DSV-IS’2000. Springer, Berlin, pp 65–77

    Google Scholar 

  • Wüthrich C (1999) An analysis and model of 3D interaction methods and devices for virtual reality. In: Proceedings of DSV-IS’99. Springer, Berlin, pp 18–29

    Google Scholar 

  • Zhou W, Reisinger J, Peer A, Hirche S (2014) Interaction-based dynamic measurement of haptic characteristics of control elements. In: Auvray M, Duriez C (eds) Haptics: neuroscience, devices, modeling, and applications: 9th international conference, EuroHaptics 2014, Versailles, France, June 24–26, 2014, Proceedings, Part I, p 177–184. Springer, Berlin. doi:10.1007/978-3-662-44193-0_23

Download references

Acknowledgements

Early parts of this work were supported by the AHRC/EPSRC funded project DEPtH “Designing for Physicality” (http://www.physicality.org/). We are very grateful for insightful comments from the reviewers.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Alan Dix .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this chapter

Cite this chapter

Dix, A., Ghazali, M. (2017). Physigrams: Modelling Physical Device Characteristics Interaction. In: Weyers, B., Bowen, J., Dix, A., Palanque, P. (eds) The Handbook of Formal Methods in Human-Computer Interaction. Human–Computer Interaction Series. Springer, Cham. https://doi.org/10.1007/978-3-319-51838-1_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-51838-1_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-51837-4

  • Online ISBN: 978-3-319-51838-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics