• DocumentCode
    1626036
  • 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
  • fYear
    2010
  • Firstpage
    292
  • Lastpage
    298
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/UIC-ATC.2010.57
  • Filename
    5667182
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1626036