Validation of Pervasive Cloud Task Migration with Colored Petri Net

作     者：Lianzhang Zhu Shouchao Tan Weishan Zhang Yong Wang Xiwei Xu 

作者机构：Department of Software EngineeringChina University of Petroleum Software Systems Research GroupNICTA 

出 版 物：《Tsinghua Science and Technology》 (清华大学学报（自然科学版（英文版）)

年 卷 期：2016年第21卷第1期

页      面：89-101页

核心收录：

学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：colored Petri net task migration pervasive cloud context information validation 

摘      要：Mobile devices are resource-limited, and task migration has become an important and attractive feature of mobile clouds. To validate task migration, we propose a novel approach to the simulation of task migration in a pervasive cloud environment. Our approach is based on Colored Petri Net（CPN）. In this research, we expanded the semantics of a CPN and created two task migration models with different task migration policies： one that took account of context information and one that did not. We evaluated the two models using CPN-based simulation and analyzed their task migration accessibility, integrity during the migration process, reliability, and the stability of the pervasive cloud system after task migration. The energy consumption and costs of the two models were also investigated. Our results suggest that CPN with context sensing task migration can minimize energy consumption while preserving good overall performance.