Mobile Cloud Computing System Components Composition Formal Verification Method Based on Space-Time Pi-Calculus

Peng Wang; Ling Yang; Guo Li

Cloud Computing. 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Proceedings

Research Article

Mobile Cloud Computing System Components Composition Formal Verification Method Based on Space-Time Pi-Calculus

Download

220 downloads

Cite: BibTeX Plain Text

@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

Peng Wang^,*, Ling Yang¹^,*, Guo Li²^,*

1: Shanghai Cloud Valley Development Co., Ltd.
2: Shanghai Yangpu Science and Technology Innovation Group Co., Ltd.

*Contact email: wangpeng@shcloudvalley.com, yangling@shcloudvalley.com, liguowen@shcloudvalley.com

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.

Keywords: Mobile cloud computing Service composition Service-oriented architecture Pi-calculus

Published: 2016-05-06
Appears in: SpringerLink

: http://dx.doi.org/10.1007/978-3-319-38904-2_16