Situation Calculus for HCI Design

England, David; Randles, Martin; Taleb-Bendiab, A.

doi:10.1109/dese.2010.33

Cited by 2 publications

(1 citation statement)

References 34 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Due to this feature of "shared meaning", ontology-based models are semantic models. Ontologies (and logic-based models, such as the Situation Calculus [12]) further allow inference of knowledge. That means, ontology-based models support not just the capturing of contextual and situational data but also the explicit and implicit capturing of complex relationships between the captured data items.…”

Section: Ontologiesmentioning

confidence: 99%

Using ontologies to reason about the usability of interactive medical devices in multiple situations of use

Bowen

Hinze

2012

Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems

View full text Add to dashboard Cite

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.

show abstract

Section: Ontologiesmentioning

confidence: 99%