A Smart Home Context-aware Model Based on UML and Colored Petri Net
作者： Xiaopeng Niu , Zhiliang Wang
DOI: 10.14257/IJSH.2016.10.1.11
关键词:
摘要: Smart Home is one of the main application domains Pervasive Computing, and it can provide Context-aware Services to homeowners. As context information obtained from different sources in environment, may be heterogeneous, inaccurate dynamic. How effectively model these types a research issue. To address this issue, we propose hybrid Modeling approach based on UML Colored Petri Net paper. We also leave home scenario using approach, use Coverability Graph verify model.
sersc.org 参考文章(22)
Karen Henricksen, A framework for context-aware pervasive computing applications ,(2003)
Houda Haiouni, Ramdane Maamri, Context-Aware Automatic Service Selection Mechanism for Ambient Intelligent Environments ISAmI. pp. 1- 11 ,(2014) , 10.1007/978-3-319-07596-9_1
Anthony Spiteri Staines, A triple graph grammar (TGG) approach for mapping UML 2 activities into Petri nets international conference on software engineering. pp. 90- 95 ,(2010)
Sungjin Ahn, Daeyoung Kim, Proactive context-aware sensor networks international conference on embedded wireless systems and networks. ,vol. 3868, pp. 38- 53 ,(2006) , 10.1007/11669463_6
Kurt Jensen, Lars M. Kristensen, Coloured Petri Nets: Modelling and Validation of Concurrent Systems ,(2009)
Jie Sun, Yongping Zhang, Kejia He, A Petri-Net Based Context Representation in Smart Car Environment Advances in Grid and Pervasive Computing. pp. 162- 173 ,(2010) , 10.1007/978-3-642-13067-0_20
Gregory D. Abowd, Anind K. Dey, Pete Steggles, Nigel Davies, Peter J. Brown, Mark Smith, Towards a Better Understanding of Context and Context-Awareness ubiquitous computing. pp. 304- 307 ,(1999) , 10.5555/647985.743843
Seungwok Han, Hee Yong Youn, Modeling and Analysis of Time-Critical Context-Aware Service Using Extended Interval Timed Colored Petri Nets systems man and cybernetics. ,vol. 42, pp. 630- 640 ,(2012) , 10.1109/TSMCA.2011.2170064
T. Murata, Petri nets: Properties, analysis and applications Proceedings of the IEEE. ,vol. 77, pp. 541- 580 ,(1989) , 10.1109/5.24143
Zhifang Hu, Tao Lu, Zhuo Zhao, Context-aware service system modeling using timed CPN international conference on service systems and service management. pp. 164- 169 ,(2013) , 10.1109/ICSSSM.2013.6602579