Skip to main content
SpringerLink
Log in

Reasoning About Interactive Systems in Dynamic Situations of Use

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

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

Abstract

Interactive software, systems and devices are typically designed for a specific (set of) purpose(s) and the design process used ensures that they will perform satisfactorily when used as specified. In many cases, users will use these systems in unintended and unexpected ways where it seems appropriate, which can lead to problems as the differing usage situations have unintended effects on use. We have previously introduced a method of combining formal models of interactive systems with models of usage scenarios to allow reasoning about the effects that this unintended use may have. We now extend this approach to consider how such models might be used when considering deliberately extending the usage scenarios of existing interactive systems to support other activities, for example in emergency situations. This chapter explores a methodology to identify the effect of properties of emergency scenarios on the interactivity of interactive systems and devices. This then enables us to consider when, and how, we might utilise such devices in such emergencies.

The original version of the book was revised: For detailed information please see Erratum. The erratum to the book is available at 10.1007/978-3-319-51838_21

An erratum to this chapter can be found at http://dx.doi.org/10.1007/978-3-319-51838-1_21

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

Access this chapter

Log in via an institution
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

Notes

  1. 1.

    http://www.sensacell.com.

  2. 2.

    Liquefaction is a process in which during an earthquake soil is rearranged such that it behaves more like a liquid than a solid.

  3. 3.

    http://earthquake.usgs.gov/learn/topics/booms.php.

  4. 4.

    http://www.w3.org/TR/owl-guide.

References

  • Back R, Mikhajlova A, von Wright J (1999) Reasoning about interactive systems. In: Formal methods 1999 (FM99). Springer, pp 1460–1476

    Google Scholar 

  • Berners-Lee T, Hendler J, Lassila O et al (2001) The semantic web. Sci Am 284(5):28–37

    Google Scholar 

  • Bodeau DJ, Graubart RD, Fabius-Greene J (2010) Improving cyber security and mission assurance via cyber preparedness (Cyber Prep) levels. In: IEEE international conference on social computing, pp 1147–1152

    Google Scholar 

  • Bowen J, Hinze A (2012) Using ontologies to reason about the usability of interactive medical devices in multiple situations of use. In: ACM SIGCHI symposium on engineering interactive computing systems, EICS’12, pp 247–256

    Google Scholar 

  • Bowen J, Reeves S (2008) Formal models for user interface design artefacts. Innov Syst Softw Eng 4(2):125–141

    Google Scholar 

  • Bowen J, Hinze A, Reid S (2014) Model-driven tools for medical device selection. In: ACM SIGCHI symposium on engineering interactive computing systems, EICS’14, pp 129–138

    Google Scholar 

  • Cheok AD, Rehman Mustafa AU, Fernando ONN, Barthoff AK, Wijesena IJP, Tosa N (2007) Blogwall: displaying artistic and poetic messages on public displays via sms. In: Mobile HCI. ACM, pp 483–486

    Google Scholar 

  • Cheverst K, Davies N, Mitchell K, Friday A, Efstratiou C (2000) Developing a context-aware electronic tourist guide: some issues and experiences. In: SIGCHI conference on human factors in computing systems. ACM, pp 17–24

    Google Scholar 

  • Comfort LK, Haase TW (2006) Communication, coherence, and collective action: the impact of Hurricane Katrina on communications infrastructure. Public Works Manage Policy 1–16

    Google Scholar 

  • Davies N, Clinch S, Alt F (2014) Morgan & Claypool Publishers

    Google Scholar 

  • Diehl S, Neuvel J, Zlatanova S, Scholten H (2005) Investigation of user requirements in the emergency response sector: the dutch case. In: Second Gi4DM. Springer, pp 3–19

    Google Scholar 

  • Fortin C, DiPaola S, Hennessy K, Bizzocchi J, Neustaedter C (2013) Medium-specific properties of urban screens: towards an ontological framework for digital public displays. In: 9th ACM conference on creativity and cognition. ACM, pp 243–252

    Google Scholar 

  • Gennari JH, Musen MA, Fergerson RW, Grosso WE, Crubzy M, Eriksson H, Noy NF, Tu SW (2002) The evolution of protg: an environment for knowledge-based systems development. Int J Hum-Comput Stud 58:89–123

    Google Scholar 

  • Hinze A, Bainbridge D (2015) Location-triggered mobile access to a digital library of audio books using tipple. Int J Digital Libr 1–27: doi:10.1007/s00799-015-0165-z

  • Hinze A, Sachs K, Buchmann A (2009) Event-based applications and enabling technologies. In: Proceedings of the third ACM international conference on distributed event-based systems. ACM, pp 1–15

    Google Scholar 

  • Horita FE, de Albuquerque JP, Degrossi LC, Mendiondo EM, Ueyama J (2015) Development of a spatial decision support system for flood risk management in Brazil that combines volunteered geographic information with wireless sensor networks. Comput Geosci 80:84–94

    Google Scholar 

  • Horrocks I, Patel-Schneider PF, Boley H, Tabet S, Grosof B, Dean M (2004a) SWRL: a semantic web rule language combining owl and ruleml. W3c member submission

    Google Scholar 

  • Horrocks I, Patel-Schneider PF, Boley H, Tabet S, Grosof B, Dean M, et al (2004b) SWRL: a semantic web rule language combining OWL and RuleML. W3C Member submission 21:79

    Google Scholar 

  • Hosio S, Kukka H, Jurmu M, Ojala T, Riekki J (2010) Enhancing interactive public displays with social networking services. In: 9th international conference on mobile and ubiquitous multimedia. ACM, MUM’10, pp 23:1–23:9

    Google Scholar 

  • Jiang X, Hong JI, Takayama L, Landay JA (2004) Ubiquitous computing for firefighters: field studies and prototypes of large displays for incident command. In: 2004 conference on human factors in computing systems. CHI, pp 679–686

    Google Scholar 

  • Kostakos V, Jurmu M, Ojala T, Hosio S, LindĂ©n T, Zanni D, Kruger F, Heikkinen T, Kukka H (2012) Multipurpose interactive public displays in the wild: three years later. Computer 45(5):42–49. doi:10.1109/MC.2012.115

  • Köster M, Schmitz M, Gehring S (2015) Gravity games: a framework for interactive space physics on media facades. In: 4th international symposium on pervasive displays. ACM, PerDis’15, pp 115–121

    Google Scholar 

  • Lenat DB, Guha RV (1989) Building large knowledge-based systems; representation and inference in the Cyc project. Addison-Wesley Longman Publishing Co. Inc

    Google Scholar 

  • Lu Y, Yang D (2011) Information exchange in virtual communities under extreme disaster conditions. Decis Supp Syst 50(2):529–538

    Google Scholar 

  • Majumder A, Sajadi B (2013) Large area displays: the changing face of visualization. IEEE Comput 46(5):26–33

    Google Scholar 

  • Ojala T, Kostakos V, Kukka H, Heikkinen T, Linden T, Jurmu M, Hosio S, Kruger F, Zanni D (2012) Multipurpose interactive public displays in the wild: three years later. Computer 45(5):42–49

    Google Scholar 

  • Olech PS, Cernea D, Meyer H, Schoeffel S, Ebert A (2012) Digital interactive public pinboards for disaster and crisis management-concept and prototype design. In: International conference on information and knowledge engineering (IKE). WorldComp, p 1

    Google Scholar 

  • Parush A, Ma C (2012) Team displays work, particularly with communication breakdown: performance and situation awareness in a simulated forest fire. In: Human factors and ergonomics society annual meeting, vol 56. Sage Publications

    Google Scholar 

  • Rauschert I, Agrawal P, Sharma R, Fuhrmann S, Brewer I, MacEachren A (2002) Designing a human-centered, multimodal gis interface to support emergency management. In: Proceedings of the 10th ACM international symposium on advances in geographic information systems. ACM, pp 119–124

    Google Scholar 

  • Robillard J, Sambrook RC (2008) Usaf emergency and incident management systems: a systematic analysis of functional requirements. Technical report, white paper for United States Air Force Space Command. http://www.uccs.edu/rsambroo/Research/EIM_REQS.pdf

  • Sakaki T, Okazaki M, Matsuo Y (2010) Earthquake shakes twitter users: real-time event detection by social sensors. In: 19th international conference on world wide web. ACM, pp 851–860

    Google Scholar 

  • Schilit B, Adams N, Want R (1994) Context-aware computing applications. In: First workshop on mobile computing systems and application. IEEE, pp 85–90

    Google Scholar 

  • Schöning J, Rohs M, KrĂĽger A, Stasch C (2008) Improving the communication of spatial information in crisis response by combining paper maps and mobile devices. In: Mobile response. Springer, pp 57–65

    Google Scholar 

  • Schultz CH, Koenig KL, Noji EK (1996) A medical disaster response to reduce immediate mortality after an earthquake. New Engl J Med 334(7):438–444

    Google Scholar 

  • Thelen S, Cernea D, Olech PS, Kerren A, Ebert A (2010) DIP—a digital interactive pinboard with support for smart device interaction

    Google Scholar 

  • Werner-Allen G, Lorincz K, Ruiz M, Marcillo O, Johnson J, Lees J, Welsh M (2006) Deploying a wireless sensor network on an active volcano. IEEE Internet Comput 10(2):18–25

    Google Scholar 

  • Xie H, Filippidis L, Gwynne S, Galea ER, Blackshields D, Lawrence PJ (2007) Signage legibility distances as a function of observation angle. J Fire Protect Eng 17(1):41–64

    Google Scholar 

  • Yang L, Prasanna R, King M (2009) On-site information systems design for emergency first responders. J Inf Technol Theory Appl 10(1):5–27

    Google Scholar 

  • Yang L, Yang S, Plotnick L (2013) How the internet of things technology enhances emergency response operations. Technol Forecast Soc Change 80(9):1854–1867

    Google Scholar 

  • Yates D, Paquette S (2011) Emergency knowledge management and social media technologies: a case study of the 2010 Haitian earthquake. Int J Inf Manag 31(1):6–13

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Waikato, Hamilton, New Zealand

    Judy Bowen & Annika Hinze

Authors
  1. Judy Bowen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Annika Hinze
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Judy Bowen .

Editor information

Editors and Affiliations

  1. Visual Computing Institute—Virtual Reality & Immersive Visualization, RWTH Aachen University, Aachen, Germany

    Benjamin Weyers

  2. Department of Computer Science, The University of Waikato, Hamilton, New Zealand

    Judy Bowen

  3. School of Computer Science, University of Birmingham, Birmingham, United Kingdom

    Alan Dix

  4. Universite de Toulouse, ICS-IRIT, Toulouse, France

    Philippe Palanque

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this chapter

Cite this chapter

Bowen, J., Hinze, A. (2017). Reasoning About Interactive Systems in Dynamic Situations of Use. 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_12

Download citation

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

  • 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

Search

Navigation