文章基本信息

标题：A Smart Home Context-aware Model Based On UML and Colored Petri Net
本地全文：下载
作者：Xiaopeng Niu ; Zhiliang Wang
期刊名称：International Journal of Smart Home
印刷版ISSN：1975-4094
出版年度：2016
卷号：10
期号：1
页码：101-114
DOI：10.14257/ijsh.2016.10.1.11
出版社：SERSC
摘要：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.
关键词：Pervasive Computing; Context-aware; Smart Home; Colored Petri Net ; (CPN); Unified Modeling Language (UML); Context model