A Formal Validation Method for Trustworthy Services Composition.

Yuemin Li,Shenghui Zhao,Hailun Diao,Haibao Chen
DOI: https://doi.org/10.1109/nana.2016.75
2016-01-01
Abstract:In the platform of cloud computing, trusted cloud service and their composition service have paid much attention by researchers. While carrying out Service Composition, it will consider the functional and non-functional attributes. The credibility is an important service of non-functional attribute. Due to the disadvantage that current formal validation for service composition limits the non-functional attributes verification, this study proposes a method in which nonfunctional attributes are incorporated into the logic rule of inference with composition of the liner logic and Pi-calculus. Then using the example of travel agent system, the process of service composition can be verified by our method. So, it shows that non-functional attribute of composed service can be expressed by linear logic and Pi-calculus.
What problem does this paper attempt to address?