Home // UBICOMM 2014, The Eighth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies // View article

Formal Modeling For Pervasive Design of Human-Computer Interfaces

Authors:
Ines Riahi
Faouzi Moussa

Keywords: pervasive user interfaces; ubiquitous computing; formal modeling; critical domains.

Abstract:
The advent of mobile interfaces induces an evolution on the Human Computer Interaction (HCI) field. We observe the emergence of several mobile devices and sensors that gave birth to the ubiquitous environments. In our research, we focus on: (i) how to adapt the interface to its environment, specifically in its context of use and (ii) what relationship has the context with the users’ task. This paper will propose a formal approach for specifying user interfaces adapted to the context of use. We will focus on the strength of formal approach to context and user’s modeling and how to infer users’ requirements through the model of the task for critical domains. Our approach will be illustrated by a case study on the monitoring of diabetic patients.

Pages: 35 to 43

Copyright: Copyright (c) IARIA, 2014

Publication date: August 24, 2014

Published in: conference

ISSN: 2308-4278

ISBN: 978-1-61208-353-7

Location: Rome, Italy

Dates: from August 24, 2014 to August 28, 2014