Formal Modeling of Trust Web Service Composition Using Pi-calculus

Bensheng YUN

Abstract


To enhance the credibility of Web service composition, Pi-calculus based formal modeling of trust Web service composition is proposed. Trust Web service composition is firstly defined abstractly; then Pi-calculus is used to depict structure and internal interaction of Trust Web service composition, the mapping relation between trust entity and Pi-calculus is provided. Automatic reasoner MWB is adopted to analyze and reason the Trust Web service composition system, which is aimed at finding and correcting the faults before the implementation of trust authentication of Web service composition. It thus meets the users’ demands on trust quality effectively.

 

DOI: http://dx.doi.org/10.11591/telkomnika.v11i8.3039


Keywords


Formal Model; Trust web service composition; Pi-calculus

Full Text:

PDF

Refbacks

  • There are currently no refbacks.


Creative Commons License
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

The Indonesian Journal of Electrical Engineering and Computer Science (IJEECS)
p-ISSN: 2502-4752, e-ISSN: 2502-4760
This journal is published by the Institute of Advanced Engineering and Science (IAES) in collaboration with Intelektual Pustaka Media Utama (IPMU).

shopify stats IJEECS visitor statistics