为发现情境感知服务之间存在的显性和隐性干扰,提出采用赋时着色Petri网(timed colored Petri net, TCPN)对情境感知系统建模,通过对模型进行仿真分析发现服务之间潜在的干扰。对TCPN及其相关规则进行了形式化的定义,然后讨论了用TCPN对情境感知系统建模的方法,使构建的模型反映情境感知系统真实运行中的情况,主要讨论了对服务行为的建模和对情境变化的建模。利用提出的建模方法结合建模仿真工具CPN Tools对阿尔茨海默病患者智能辅助系统进行了建模和仿真,通过仿真结果分析发现了服务之间显性和隐性的干扰,验证了该方法的有效性。
References
[1]
ABOWD G D, ATKESON C G, HONG J, et al. Cyberguide: a mobile context-aware tour guide[J]. Wireless Networks, 1997, 3(5): 421-433.
[2]
SCHMIDT A, WINTERHALTER C. Context-aware driver assistance system[J]. Universal Computer Science, 2004, 10(1): 38-46.
[3]
HWANG G J, YANG T C, TSAI C C, et al. A context-aware ubiquitous learning environment for conducting complex science experiments[J]. Computers and Education, 2009, 53(2):402-413.
[4]
LU T, BAO J, WANG H F. Construction of context-aware support model for mobile worker: a scenario-based approach[J]. International Journal of Advancements in Computing Technology, 2012, 4(1): 535-548.
[5]
KWON O B. Modeling and generating context-aware agent-based applications with amended colored Petri nets [J]. Expert Systems with Applications, 2004, 27(4): 609-621.
[6]
TANG L, ZHOU X H, YU Z X, et al. Adaptive prompting based on Petri net in a smart medication system[C]//Pervasive Computing and Communications Workshops.[S.l.], 2008.
[7]
SUN J, ZHANG Y P, HE K J. A Petri-net based context representation in smart car environment[J]. Lecture Notes in Computer Science, 2010, 6104: 162-173.
[8]
HAN S, YOUN H Y. Petri net-based context modeling for context-aware systems[J]. Artificial Intelligence Review, 2012, 37(1): 43-67.
[9]
HAN S, YOUN H Y. Modeling and analysis of time-critical context-aware service using extended interval timed colored Petri nets[J]. Systems, Man and Cybernetics, Part A: Systems and Humans, 2012, 42(3): 630-640.
[10]
ACHILLEOS A, YANG K, GEORGALAS N, et al. Pervasive service creation using a model driven Petri net based approach[C]//Wireless Communications and Mobile Computing Conference.[S.l.], 2008.
[11]
CHO H T, HUANG P C, LUO R H, et al. A new context-aware application validation method based on quality-driven Petri net models[C]//Innovative Computing, Information and Control.[S.l.], 2007.
[12]
JENSE K. An introduction to the theoretical aspects of colored Petri nets[J]. Lecture Notes in Computer Science, 1994, 803: 230-272.
[13]
JENSE K. An introduction to the practical use of colored Petri nets[J]. Lectures on Petri Nets II: Applications, 1998, 1492: 237-292.
[14]
吴哲辉. Petri网导论[M]. 北京:机械工业出版社, 2006: 1-12.WU Zhehui. Introduction of Petri net[M]. Beijing: China Machine Press, 2006: 1-12.
