Pi-calculus based Bayesian Trust Web Service Composition
Bensheng Yun, Yaguan Qian · IOSR Journal of Computer Engineering · 2016
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.