AI Chat Paper
Note: Please note that the following content is generated by AMiner AI. SciOpen does not take any responsibility related to this content.
{{lang === 'zh_CN' ? '文章概述' : 'Summary'}}
{{lang === 'en_US' ? '中' : 'Eng'}}
Chat more with AI
Powered by AMiner. Clicking this button will take you away from SciOpen.
Home Tsinghua Science and Technology Article
PDF (1.8 MB)
Cite
EndNote(RIS) BibTeX
Collect
Submit Manuscript AI Chat Paper
Show Outline
Outline
Show full outline
Hide outline
Outline
Show full outline
Hide outline
Open Access

Validation of Pervasive Cloud Task Migration with Colored Petri Net

Department of Software Engineering, China University of Petroleum, No. 66 Changjiang West Road, Qingdao 266580, China.
Software Systems Research Group, NICTA, Sydney, Australia.
Show Author Information

Abstract

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.

Keywords

context informationvalidationcolored Petri nettask migrationpervasive cloud

References

[1]
Kristensen M. D., Empowering mobile devices through cyber foraging, PhD dissertation, Department of Computer Science, Aarhus University, 2010.
[2]
Schwederski T., Siegel H. J., and Casavant T. L., A model of task migration in partitionable parallel processing systems, in Frontiers of Massively Parallel Computation, 1988. Proceedings, 2nd Symposium on the Frontiers of, Fairfax, VA, 1988, pp. 211–214.
[3]
Ma R. K. K. and Wang C. L., Lightweight application-level task migration for mobile cloud computing, in Advanced Information Networking and Applications (AINA), 2012 IEEE 26th International Conference on, Fukuoka, Japan, 2012, pp. 550–557.
[4]
Frechette S. and Avresky D. R., Method for task migration in grid environments, in Network Computing and Applications, Fourth IEEE International Symposium on, Cambridge, MA, USA, 2005, pp. 49–58.
Crossref
[5]
Buchbinder N., Jain N., and Menache I., Online job-migration for reducing the electricity bill in the cloud, in NETWORKING 2011 Springer. Springer, 2011, pp. 172–185.
Crossref
[6]
Jensen K., Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer Science & Business Media, 2013.
[7]
Hu Z., Lu T., and Zhao Z., Context-aware service system modeling using timed CPN, in Service Systems and Service Management (ICSSSM), 2013 10th International Conference on, Hong Kong, China, 2013. pp. 164–169.
[8]
Appel A. W. and MacQueen D. B., Standard ML of new jersey, in Programming Language Implementation and Logic Programming. Springer Berlin Heidelberg, 1991, pp. 1–13.
Crossref
[9]
Ratzer A. V., Wells L., Lassen H. M., Laursen M., Ovortrup J. F., Stissing M. S., Westergaard M., Christensen S., and Jensen K., CPN tools for editing, simulating, and analysing coloured Petri nets, in Applications and Theory of Petri Nets 2003. Springer Berlin Heidelberg, 2003, pp. 450–462.
Crossref
[10]
Shiraz M. and Gani A., A lightweight active service migration framework for computational offloading in mobile cloud computing, The Journal of Supercomputing, vol. 68, no. 2, pp. 978–995, 2014.
Crossref Google Scholar
[11]
Zhang W. S., Chen L. C., Liu X., Lu Q. H., Zhang P. Y., and Su Y., An OSGi based adaptive and flexible pervasive cloud infrastructure, Science China Information Science, vol. 53, no. 3, pp. 1–11, 2014.
Crossref Google Scholar
[12]
O. S. G. Alliance, OSGi—The dynamic module system for Java, http://www.osgi.org/, 2009.
[13]
Alansari M. M. and Bordbar B., An architectural framework for enforcing energy management policies in cloud, in 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, 2013, pp. 717–724.
[14]
Abdulla P. Aziz and Mayr R., Petri nets with time and cost, arXiv preprint arXiv: 1302.3291, 2013.
Crossref
Tsinghua Science and Technology
Volume 21 Issue 1,
February 2016
Pages 89-101
DOI: 10.1109/TST.2016.7399286
Cite this article:
Zhu L, Tan S, Zhang W, et al. Validation of Pervasive Cloud Task Migration with Colored Petri Net. Tsinghua Science and Technology, 2016, 21(1): 89-101. https://doi.org/10.1109/TST.2016.7399286

589

Views

25

Downloads

5

Crossref

N/A

Web of Science

7

Scopus

1

CSCD

Altmetrics
Received: 15 October 2015
Revised: 04 November 2015
Accepted: 06 December 2015
Published: 04 February 2016
© The author(s) 2016
Return