Abstract
To build different mobile cloud computing system (MCS) business applications, how to design open system architecture is essential. First, a service-oriented architecture is put forward. In this architecture, MCS components are expressed as the form of interoperable MCS services, which are combined to achieve complex business needs. Second, a formal method is proposed based on space-time (S-T) Pi-calculus, in order to verify validity of MCS service composition model. Finally, the case study shows that how to apply the model and method. The experiment result shows that they are feasible.
This work is supported by China Postdoctoral Science Foundation funded project (No. 2014M551334), special fund for Shanghai Zhangjiang National Innovation Demonstration Zone (No. ZJ2015ZD006).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Olaleye, S.B., Ishan, R.: A review on enhancing storage space of smartphone using virtualization. In: 2015 International Conference on Futuristic Trends on Computational Analysis and Knowledge Management, pp. 739–743. IEEE Press, Noida (2015)
Fernando, N., Loke, S.W., Rahayu, W.: Mobile cloud computing: a survey. J. Future Gener. Comput. Syst. 29, 84–106 (2013)
Dinh, H.T., Lee, C., Niyato, D., Wang, P.: A survey of mobile cloud computing: architecture, applications, and approaches. J. Wirel. Commun. Mob. Comput. 13, 1587–1611 (2013)
Satyanarayanan, M., Bahl, P., Caceres, R., Davies, N.: The case for VM-based cloudlets in mobile computing. J. Pervasive Comput. 8, 14–23 (2009)
Zhang, X., Kunjithapatham, A., Jeong, S., Gibbs, S.: Towards an elastic application model for augmenting the computing capabilities of mobile devices with cloud computing. J. Mob. Netw. Appl. 16, 270–284 (2011)
Erl, T.: Service-Oriented Architecture: Concepts, Technology, and Design. Prentice Hall PTR, New Jersey (2005)
Tan, J.Q., Kavulya, S., Gandhi, R., Narasimhan, P.: Visual, log-based causal tracing for performance debugging of mapreduce systems. In: 30th International Conference on Distributed Computing Systems, pp. 795–806. IEEE Press, Genoa (2010)
Gutierrez-Garcia, J.O, Sim, K.-M.: Agent-based service composition in cloud computing. In: Kim, T.-H., Yau, S.S., Gervasi, O., Kang, B.-H., Stoica, A., Ślęzak, D. (eds.) GDC/CA 2010. CCIS, vol. 121, pp. 1–10. Springer, Heidelberg (2010)
Milner, R.: Communicating and Mobile Systems: The π-Calculus. Cambridge University, Cambridge (1999)
Wang, P., Yang, L., Li, G.W., Gao, X.: A novel substitution judgment method for mobile cloud computing application system components. In: 6th International Conference on Cloud Computing Technology and Science, pp. 911–916. IEEE Press, Singapore (2014)
Egenhofer, M.J., Herring, J.R.,: A mathematical framework for the definition of topological relationships. In: 4th International Symposium on Spatial Data Handling, Zurich, pp. 803–813 (1990)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Wang, P., Yang, L., Li, G.W. (2016). Mobile Cloud Computing System Components Composition Formal Verification Method Based on Space-Time Pi-Calculus. In: Zhang, Y., Peng, L., Youn, CH. (eds) Cloud Computing. CloudComp 2015. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 167. Springer, Cham. https://doi.org/10.1007/978-3-319-38904-2_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-38904-2_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-38903-5
Online ISBN: 978-3-319-38904-2
eBook Packages: Computer ScienceComputer Science (R0)