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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
- 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.
- 4.
References
Back R, Mikhajlova A, von Wright J (1999) Reasoning about interactive systems. In: Formal methods 1999 (FM99). Springer, pp 1460–1476
Berners-Lee T, Hendler J, Lassila O et al (2001) The semantic web. Sci Am 284(5):28–37
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
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
Bowen J, Reeves S (2008) Formal models for user interface design artefacts. Innov Syst Softw Eng 4(2):125–141
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
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
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
Comfort LK, Haase TW (2006) Communication, coherence, and collective action: the impact of Hurricane Katrina on communications infrastructure. Public Works Manage Policy 1–16
Davies N, Clinch S, Alt F (2014) Morgan & Claypool Publishers
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
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
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
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
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
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
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
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
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
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
Lenat DB, Guha RV (1989) Building large knowledge-based systems; representation and inference in the Cyc project. Addison-Wesley Longman Publishing Co. Inc
Lu Y, Yang D (2011) Information exchange in virtual communities under extreme disaster conditions. Decis Supp Syst 50(2):529–538
Majumder A, Sajadi B (2013) Large area displays: the changing face of visualization. IEEE Comput 46(5):26–33
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
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
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
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
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
Schilit B, Adams N, Want R (1994) Context-aware computing applications. In: First workshop on mobile computing systems and application. IEEE, pp 85–90
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
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
Thelen S, Cernea D, Olech PS, Kerren A, Ebert A (2010) DIP—a digital interactive pinboard with support for smart device interaction
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
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
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
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
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
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)