Is my configuration any good: checking usability in an interactive sensor-based activity monitor
Is my configuration any good: checking usability in an interactive sensor-based activity monitor
复制标题
我的配置好吗：检查基于交互式传感器的活动监视器的可用性
DOI：
10.1007/s11334-013-0203-1
复制
发表时间：
2013
影响因子：
1.2
通讯作者：
Calder M
中科院分区：
文献类型：
--
作者：
Calder M
我们调查的两个方面的可用性在一个部署的交互式，可配置和上下文感知系统：一个事件驱动的，基于传感器的家庭护理活动监测系统的正式分析。该系统不是从正式的需求或规范设计的：我们建模的系统，因为它是在一个敏捷的开发过程的背景下。我们的目的是确定正式建模和分析是否有助于提高可用性，如果是这样，哪种风格的建模是最合适的。分析的目的是告知配置人员如何与系统交互，使系统对参与者更有用，并指导未来的开发。我们考虑了由护理人员和参与者定义的配置规则中的冗余以及输出消息的交互方式。考虑了两种建模方法：深度嵌入，其中设备、传感器和规则由建模语言中的数据结构明确表示，并且采用非确定性来对所有可能的设备和传感器状态进行建模，以及浅嵌入，其中规则和设备以及传感器状态直接在命题逻辑中表示。前者需要一个传统的机器和一个模型检查器进行分析，而后者是使用SAT求解器直接在活动监视器硬件上实现的。我们得出了有关正式模型和推理在已部署系统中的作用以及交互方式需要明确的语义和本体的结论。
We investigate formal analysis of two aspects of usability in a deployed interactive, configurable and context-aware system: an event-driven, sensor-based homecare activity monitor system. The system was not designed from formal requirements or specification: we model the system as it is in the context of an agile development process. Our aim was to determine if formal modelling and analysis can contribute to improving usability, and if so, which style of modelling is most suitable. The purpose of the analysis is to inform configurers about how to interact with the system, so the system is more usable for participants, and to guide future developments. We consider redundancies in configuration rules defined by carers and participants and the interaction modality of the output messages.Two approaches to modelling are considered: a deep embedding in which devices, sensors and rules are represented explicitly by data structures in the modelling language and non-determinism is employed to model all possible device and sensor states, and a shallow embedding in which the rules and device and sensor states are represented directly in propositional logic. The former requires a conventional machine and a model-checker for analysis, whereas the latter is implemented using a SAT solver directly on the activity monitor hardware. We draw conclusions about the role of formal models and reasoning in deployed systems and the need for clear semantics and ontologies for interaction modalities.