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 non-functional 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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
