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

Judy Bowen, A. Hinze
{"title":"Using ontologies to reason about the usability of interactive medical devices in multiple situations of use","authors":"Judy Bowen, A. Hinze","doi":"10.1145/2305484.2305525","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":163033,"journal":{"name":"Engineering Interactive Computing System","volume":"119 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Engineering Interactive Computing System","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2305484.2305525","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 7

Abstract

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.
使用本体来推断交互式医疗设备在多种使用情况下的可用性
对交互式软件系统和设备进行形式化建模使我们能够证明这些设备的正确性,从而确保其使用的有效性。它还使我们能够考虑交互属性,例如界面和系统功能之间的可用性和一致性。具有固定界面但其行为依赖于设备模式的交互式模态设备可以类似地建模。无论如何或在何处使用,这些设备总是以相同的方式运行(即具有相同的功能和交互可能性)。然而,用户与这些设备的交互可能会根据它们所处的物理位置或环境而变化(我们将其称为系统的上下文和使用情况)。在本文中,我们着眼于一个特殊的安全关键系统的例子,即一个模态交互医疗注射泵,它被用于多种情况。我们考虑如何使用本体来推断不同情况对此类设备使用的影响。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信