CPN Based Validation on Pervasive Cloud Task Migration

Task migration is important for mobile clouds. In order to validate the resources utilization, we propose a new approach to simulation our ideas based on colored Petri net. In this paper, we will expand semantic of the colored petri net and create two task migration rules. The first migration rule is no integration of context information. The second task migration rule is the integration of context information. We evaluated task migration for its accessibility, and integrity during the task migration process, the reliability and stability of mobile cloud system after task migration.

[1]  Marco Ajmone Marsan,et al.  On Petri Net-based modeling paradigms for the performance analysis of wireless Internet accesses , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

[2]  Tao Lu,et al.  Context-aware service system modeling using timed CPN , 2013, 2013 10th International Conference on Service Systems and Service Management.

[3]  Kim Mens,et al.  Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets , 2013, 2013 International Symposium on Theoretical Aspects of Software Engineering.

[4]  Kim Mens,et al.  Context Petri Nets: Enabling Consistent Composition of Context-dependent Behavior , 2012, PNSE.

[5]  Howard Jay Siegel,et al.  A model of task migration in partitionable parallel processing systems , 1988, Proceedings., 2nd Symposium on the Frontiers of Massively Parallel Computation.

[6]  Parosh Aziz Abdulla,et al.  Petri Nets with Time and Cost , 2012, Infinity.

[7]  Behzad Bordbar,et al.  An Architectural Framework for Enforcing Energy Management Policies in Cloud , 2013, 2013 IEEE Sixth International Conference on Cloud Computing.

[8]  Cho-Li Wang,et al.  Lightweight Application-Level Task Migration for Mobile Cloud Computing , 2012, 2012 IEEE 26th International Conference on Advanced Information Networking and Applications.

[9]  Johnny S. Wong,et al.  Efficient Task Migration Algorithm for Distributed Systems , 1992, IEEE Trans. Parallel Distributed Syst..

[10]  Dimiter R. Avresky,et al.  Method for Task Migration in Grid Environments , 2005, Fourth IEEE International Symposium on Network Computing and Applications.

[11]  Weishan Zhang,et al.  A Genetic-Algorithm-Based Approach for Task Migration in Pervasive Clouds , 2015, Int. J. Distributed Sens. Networks.

[12]  Weishan Zhang,et al.  An OSGi-based flexible and adaptive pervasive cloud infrastructure , 2014, Science China Information Sciences.