Formalizing Cloud Service Interactions
Jiang Jiulei -, Le Jiajin, He Feng -, Yan Wang, Jie Sun · Journal of Convergence Information Technology · 2012
Today, Cloud computing offer IT resources in the form of services. With increasing diversity and complexity of cloud services, a formal modeling method for cloud service interactions is required. In this paper, after introducing basic concept of Cloud computing and cloud services, then a formal modeling method of service interaction based on π-calculus is proposed. Next, a cloud service interaction pattern is given and is modeled by π-calculus. According to π-calculus response rules, the interaction pattern is deduced and the result verified its correctness. It is shown that π-calculus is competent to model dynamic interaction behavior of cloud services. The work reported in this paper provides a theoretical foundation for modeling and analysis of cloud service interactions.