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

Xiaopeng Niu, Zhiliang Wang
2016 International Journal of Smart Home  
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
more » ... his paper. We also model leave home scenario using this approach, and use Coverability Graph to verify the leave home scenario model.
doi:10.14257/ijsh.2016.10.1.11 fatcat:3bt4otbp2zca3g3z6r3vp5w2lu