A formal approach for modeling context-aware Human–Computer System. (May 2015)

• Record Type: Journal Article
• Authors: Riahi, Ines; Moussa, Faouzi
• Is Part Of: Computers & electrical engineering. Volume 44(2015)
• Page Start: 241
• Page End: 261
• Publication Date: 2015-05
• Subjects: Human–Computer System -- Pervasive computing -- Context-awareness -- Context modeling -- Petri nets -- PNML; Computer engineering -- Periodicals; Electrical engineering -- Periodicals; Electrical engineering -- Data processing -- Periodicals; Ordinateurs -- Conception et construction -- Périodiques; Électrotechnique -- Périodiques; Électrotechnique -- Informatique -- Périodiques; Computer engineering; Electrical engineering; Electrical engineering -- Data processing; Periodicals; Electronic journals; 621.302854
• DOI: 10.1016/j.compeleceng.2015.03.001
• Languages: English
• ISSNs: 0045-7906

Abstract

Graphical abstract: Highlights: We propose a formal approach for specification of pervasive user interface. We define a Petri nets modeling language for pervasive Human–Computer System. We demonstrate that the accuracy of the generated interface depends on the context and task's validity. We demonstrate the validity of our approach by a case study in a medical domain. We propose a system for monitoring diabetic patient in smart hospital. Abstract: Ubiquitous environments are often considered as highly dynamic environments and contextual information can change at runtime. The user interface should provide the right information for a given user considering runtime context. Such an objective can be achieved only when we deduce the user's requirements in terms of information and present it to the user according to his current context of use. The overall objective of our research is to generate a user interface adapted to the current context of use for critical fields. This paper explores some key issues related to the architecture of context-aware applications. A formal approach for the analysis of pervasive Human–Computer System (HCS) is presented. XML Petri nets are used to model the pervasive HCS. The proposed approach is illustrated with a case study which presents a hypoglycemic diabetic patient in a "smart hospital".