Pi-calculus based Bayesian Trust Web Service Composition
Journal Title: IOSR Journals (IOSR Journal of Computer Engineering) - Year 2016, Vol 18, Issue 5
Abstract
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.
Authors and Affiliations
Bensheng Yun, Yaguan Qian
Keywords
Related Articles
- EP ID EP123422
- DOI -
- Views 107
- Downloads 0
Providing High Security and Recovering Good Quality Image using Visual Cryptographic Technique
Abstract: Security is an important factor, since many digital images are transmitted through internet, which contains secret information. Symmetric and Asymmetric methods are two types of cryptographic techniques used to...
Performance Evaluation of a Distributed System Based UponFault Tree Analysis
Abstract: Distributed Systems is the study of geographically distant processors, connected to one anotherthrough intermediate devices such as routers and/or switches. Simulation provides an insight into the behavio...
Lightning Strike and Thunder and its Effect on Television Signal Transmission
Abstract: The lightning strike and thunder and its effect on television signal transmission in Nigerian Television, NTA Abakaliki Nigeria was analyzed. From the analyses, it was observed that lightning and thunder strike...
TPDS: A Heuristic Approach for Traffic Pattern Discovery System in Mobile Ad-hoc Network
Abstract : There is absence of centralized coordination among nodes in Mobile Ad-hoc Network (MANET). This makes MANET vulnerable to attacks especially passive attacks. Security is one of the major concerns inmilitary ap...
Unified V- Model Approach of Re-Engineering to reinforce Web Application Development
The diverse and dynamic nature of elements and techniques used to develop Web Application, due to the lack of testing technique and effective programming principles which are used for implementing basi...