Title :
Trustworthiness Expectation of Real-Time Web Services
Author :
Wu, Xinxing ; Chen, Yixiang
Author_Institution :
Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai, China
Abstract :
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.
Keywords :
Web services; programming language semantics; He; UTP semantcs; quantification; real-time Web service language; service-based language; trustworthiness expectation; Books; Business; Helium; Measurement; Real time systems; Semantics; Web services; Web services; dynamic Web service language; trustworthiness degree; trustworthiness expectation;
Conference_Titel :
Ubiquitous Intelligence & Computing and 7th International Conference on Autonomic & Trusted Computing (UIC/ATC), 2010 7th International Conference on
Conference_Location :
Xian, Shaanxi
Print_ISBN :
978-1-4244-9043-1
Electronic_ISBN :
978-0-7695-4272-0
DOI :
10.1109/UIC-ATC.2010.57
