Research Article
Mobile Cloud Computing System Components Composition Formal Verification Method Based on Space-Time Pi-Calculus
252 downloads
@INPROCEEDINGS{10.1007/978-3-319-38904-2_16, author={Peng Wang and Ling Yang and Guo Li}, title={Mobile Cloud Computing System Components Composition Formal Verification Method Based on Space-Time Pi-Calculus}, proceedings={Cloud Computing. 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Proceedings}, proceedings_a={CLOUDCOMP}, year={2016}, month={5}, keywords={Mobile cloud computing Service composition Service-oriented architecture Pi-calculus}, doi={10.1007/978-3-319-38904-2_16} }- Peng Wang
Ling Yang
Guo Li
Year: 2016
Mobile Cloud Computing System Components Composition Formal Verification Method Based on Space-Time Pi-Calculus
CLOUDCOMP
Springer
DOI: 10.1007/978-3-319-38904-2_16
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.
Copyright © 2015–2024 ICST
