Trustworthiness Expectation of Real-Time Web Services

摘要

In this paper, firstly we modify the existing service-based language introduced by He in UTP semantcs for Web services (LNCS 4591, pp. 353-372, 2007) into a dynamic Web service language. Then, we consider the quantification of real-time service trust worthinesses, and discuss some interesting characteristics of the operators in this language. Finally, we study the expectation of trus tworthinesses, and give a simple example to show how to apply our theory in practice.