On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces
While HCI has a long tradition of formally modelling task-based interactions with graphical user interfaces, there has been less progress in modelling emerging ubiquitous computing systems due in large part to their highly contextual nature and dependence on unreliable sensing systems. We present an...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Published: |
Association for Computing Machinery
2016
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/39044/ |
| _version_ | 1848795750191857664 |
|---|---|
| author | Benford, Steve Calder, Muffy Rodden, Tom Sevegnani, Michele |
| author_facet | Benford, Steve Calder, Muffy Rodden, Tom Sevegnani, Michele |
| author_sort | Benford, Steve |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | While HCI has a long tradition of formally modelling task-based interactions with graphical user interfaces, there has been less progress in modelling emerging ubiquitous computing systems due in large part to their highly contextual nature and dependence on unreliable sensing systems. We present an exploration of modelling an example ubiquitous system, the Savannah game, using the mathematical formalism of bigraphs, which are based on a universal process algebra that encapsulates both dynamic and spatial behaviour of autonomous agents that interact and move among each other, or within each other. We establish a modelling approach based on four perspectives on ubiquitous systems—Computational, Physical, Human, and Technology—and explore how these interact with one another. We show how our model explains observed inconsistencies in user trials of Savannah, and then, how formal analysis reveals an incompleteness in design and guides extensions of the model and/or possible system re-design to resolve this. |
| first_indexed | 2025-11-14T19:37:03Z |
| format | Article |
| id | nottingham-39044 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T19:37:03Z |
| publishDate | 2016 |
| publisher | Association for Computing Machinery |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-390442020-05-04T17:49:43Z https://eprints.nottingham.ac.uk/39044/ On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces Benford, Steve Calder, Muffy Rodden, Tom Sevegnani, Michele While HCI has a long tradition of formally modelling task-based interactions with graphical user interfaces, there has been less progress in modelling emerging ubiquitous computing systems due in large part to their highly contextual nature and dependence on unreliable sensing systems. We present an exploration of modelling an example ubiquitous system, the Savannah game, using the mathematical formalism of bigraphs, which are based on a universal process algebra that encapsulates both dynamic and spatial behaviour of autonomous agents that interact and move among each other, or within each other. We establish a modelling approach based on four perspectives on ubiquitous systems—Computational, Physical, Human, and Technology—and explore how these interact with one another. We show how our model explains observed inconsistencies in user trials of Savannah, and then, how formal analysis reveals an incompleteness in design and guides extensions of the model and/or possible system re-design to resolve this. Association for Computing Machinery 2016-05-28 Article PeerReviewed Benford, Steve, Calder, Muffy, Rodden, Tom and Sevegnani, Michele (2016) On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces. ACM Transactions on Computer-Human Interaction, 23 (2). pp. 1-56. ISSN 1557-7325 Bigraphs Formal modelling Mixed reality systems Human-centered computing Human computer interaction (HCI); Human- centered computing HCI design and evaluation methods; Theory of computation Models of computation; Software and its engineering Formal methods http://dx.doi.org/10.1145/2882784 doi:10.1145/2882784 doi:10.1145/2882784 |
| spellingShingle | Bigraphs Formal modelling Mixed reality systems Human-centered computing Human computer interaction (HCI); Human- centered computing HCI design and evaluation methods; Theory of computation Models of computation; Software and its engineering Formal methods Benford, Steve Calder, Muffy Rodden, Tom Sevegnani, Michele On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces |
| title | On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces |
| title_full | On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces |
| title_fullStr | On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces |
| title_full_unstemmed | On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces |
| title_short | On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces |
| title_sort | on lions, impala, and bigraphs: modelling interactions in physical/virtual spaces |
| topic | Bigraphs Formal modelling Mixed reality systems Human-centered computing Human computer interaction (HCI); Human- centered computing HCI design and evaluation methods; Theory of computation Models of computation; Software and its engineering Formal methods |
| url | https://eprints.nottingham.ac.uk/39044/ https://eprints.nottingham.ac.uk/39044/ https://eprints.nottingham.ac.uk/39044/ |