Plans and situated actions: the problem of human-machine communication
Plans and situated actions: the problem of human-machine communication
The evolution of Protégé: an environment for knowledge-based systems development
International Journal of Human-Computer Studies
Contextual design: using customer work models to drive systems design
CHI EA '97 CHI '97 Extended Abstracts on Human Factors in Computing Systems
Hierarchical Situation Modeling and Reasoning for Pervasive Computing
SEUS-WCCIA '06 Proceedings of the The Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, and the Second International Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA'06)
Situated Observation of Human Activity
CVIIE '05 Proceedings of the Computer Vision for Interactive and Intelligent Environment
Situations in Conceptual Modeling of Context
EDOCW '06 Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops
Formal Models for Informal GUI Designs
Electronic Notes in Theoretical Computer Science (ENTCS)
Using formal models to design user interfaces: a case study
BCS-HCI '07 Proceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it - Volume 1
Ontology For Supporting Context Aware Applications For The Intelligent Hospital Ward
Journal of Integrated Design & Process Science
Situation Calculus for HCI Design
DESE '10 Proceedings of the 2010 Developments in E-systems Engineering
Engineering interactive computer systems for medicine and healthcare (EICS4Med)
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Situation aware cognitive assistance in smart homes
Journal of Mobile Multimedia
Human computer interaction and medical devices
BCS '10 Proceedings of the 24th BCS Interaction Specialist Group Conference
Context- and situation-awareness in information logistics
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
Hi-index | 0.00 |
Formally modelling interactive software systems and devices allows us to prove properties of correctness about such devices, and thus ensure effectiveness of their use. It also enables us to consider interaction properties such as usability and consistency between the interface and system functionality. Interactive modal devices, that have a fixed interface but whose behaviour is dependent on the mode of the device, can be similarly modelled. Such devices always behave in the same way (i.e. have the same functionality and interaction possibilities) irrespective of how, or where, they are used. However, a user's interaction with such devices may vary according to the physical location or environment in which they are situated (we refer to this as a system's context and usage situation). In this paper we look at a particular example of a safety-critical system, that of a modal interactive medical syringe pump, which is used in multiple situations. We consider how ontologies can be used to reason about the effects of different situations on the use of such devices.