Abstract

To enhance the reliability of trust Web service composition, Pi-calculus based formal verification of trust Web service composition is proposed. Bayesian trust Web service composition is firstly defined abstractly; then Pi-calculus is used to describe its composition structure and internal interaction, the mapping relation between trust entity and Pi-calculus is provided. The automatic reasoner MWB is adopted to manipulate and analyze the composition system, which is aimed at finding and correcting the faults before the implementation.

Full Text
Published version (Free)

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 call