A formal Framework for Trust management of Service-oriented Systems

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.