A Smart Home Context-aware Model Based On UML and Colored Petri Net

Abstract

Smart Home is one of the main application domains of Pervasive Computing, and it can provide Context-aware Services to homeowners. As context information is obtained from different sources in the Smart Home environment, the context information may be heterogeneous, inaccurate and dynamic. How to effectively model these different types of context information is a main research issue. To address this issue, we propose a hybrid Context-aware Modeling approach based on UML and Colored Petri Net in this paper. We also model leave home scenario using this approach, and use Coverability Graph to verify the leave home scenario model.

Context Flow Graphs: Situation Modeling for Rule-Based Proactive Context-Aware Systems

“…Although situation networks [58] describe contextual states and their sequential order of appearance, it is not possible at runtime to dynamically derive the entities that share a common state from those of previous states. The same applies to the UML activity diagrams used in [62] to represent sequential context abstraction logic. For the context inference process with basic Petri nets [58], [60], multiple entities and their relevant environmental properties that commonly contribute to the manifestation of a situation could be represented by tokens.…”

“…According to the authors and similar to the approach presented in [58], it's possible to generate code based on the models. But despite being well-studied and its broad tool support, Petri net modeling remains within the domain of technical experts, applied to an RPCAS mainly for verification purposes [60]- [62] rather than situation inference during operation.…”

On defining and modeling context-awareness

“…Researchers use tools from software engineering like UML, ontology and mathematical logic (Baldauf et al, 2007) in order to develop efficient modeling methodologies for context-aware systems. The use of UML and object-oriented methodologies in modeling context aims to provide a description of the information that applications derive from their environments and then how this information is used; see (Bardram, 2005), (Bettini, et al, 2010), (Bikakis et al, 2007), (Henricksen et al, 2003(Henricksen et al, , 2006, (Kapitsaki et al, 2009), (Niu and Wang, 2016), (Sheng and Benatallah, 2005), (Strang and Linnhoff-Popien, 2004), (Vale, 2008), (Yu et al, 2010). These approaches target to building high level functional and conceptual descriptions of applications and the way they treat context.…”

Modular and Hierarchical Discrete Control for Applications and Middleware Deployment in IoT and Smart Buildings

“…The design and the implementation of such a system raises problems of avoiding decisions that can be conflicting, useless or violate other target objectives. In the literature, solutions have been proposed for the design and the implementation of reliable adaptive systems [5], [7], [17], [11], [12]. However, they focus either on the systems application logic or on the software deployment but not on both together.…”

“…However, they focus either on the systems application logic or on the software deployment but not on both together. The work in [11], [12] use Petri nets and perform model checking, we propose a supervisory control based approach.…”