• DocumentCode
    1813237
  • Title

    Verification of Web services using an enhanced UDDI server

  • Author

    Tsai, W.T. ; Paul, Rimi ; Cao, Zhichao ; Yu, Long ; Saimi, A.

  • Author_Institution
    Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
  • fYear
    2003
  • fDate
    15-17 Jan. 2003
  • Firstpage
    131
  • Lastpage
    138
  • Abstract
    The UDDI (Universal Description Discovery and Integration) provides classification to find the distributed Web services (WS) by keyword matching. The UDDI version 3 allows searching WS using digital signatures. However, it still needs systematic verification to ensure WS quality in a timely fashion. This paper proposes adding verification mechanism to the UDDI servers including check-in and checkout of WS. The key idea is that test scripts should be attached to WS, and both WS providers and clients use these test scripts. Before accepting a new WS into the service directory. The associated test scripts must test the new WS, and they will be accepted only if the test was successful. Before using a specific WS, a client can use the appropriate test scripts to test the WS and it will be used only if the test was successful. While the code for WS may not be available, but the associated test scripts test script specification techniques and distributed test execution techniques to perform testing with a UDDI server.
  • Keywords
    Internet; client-server systems; formal verification; message authentication; UDDI server; UDDI version 3; Universal Description Discovery and Integration; Web service verification; digital signature; distributed Web services; distributed test execution; formal verification; keyword matching; scenario-based testing; script specification; searching; service directory; systematic verification; test script association; Computer architecture; Computer science; Digital signatures; Middleware; Runtime; Service oriented architecture; Simple object access protocol; Testing; Web and internet services; Web services;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003). Proceedings of the Eighth International Workshop on
  • Print_ISBN
    0-7695-1929-6
  • Type

    conf

  • DOI
    10.1109/WORDS.2003.1218075
  • Filename
    1218075