A formal Framework for Trust management of Service-oriented Systems

  • Authors:
  • Liang Zhengping;Liu Xiaoli;Wu Guoqing;Yang Min;Zhang Fan

  • Affiliations:
  • Shenzhen University, China;Wuhan University, Wuhan, China;Wuhan University, Wuhan, China;ZTE Telecommunications Cooperation, Shenzhen, China;Wuhan University, Wuhan, China

  • Venue:
  • SOCA '07 Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Service oriented software development takes service, which is a well-defined function unit and can be purchased from web, as the atomic entity for building software applications. Whereas, considering the particular characteristics of service, the trustworthiness of the service and service oriented applications needs to gain more attentions. In this paper we propose a trust framework for designing trustworthy service oriented applications, including service selection and service behavior monitoring. We use quantitative trust degree model for service selection and monitoring agents for the behavior surveillance. The formalized model of the service oriented application is also described. By using the formalization the formal verification, such as integrity of the design, the correctness and consistency of the implementation and so on, can be performed. In the end, an example is illustrated to demonstrate the details of the design process and formal analysis of the trust framework.