Advertisement

Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification

  • Dimitrios Kourtesis
  • Ervin Ramollari
  • Dimitris Dranidis
  • Iraklis Paraskakis
Part of the IFIP – The International Federation for Information Processing book series (IFIPAICT, volume 283)

Reliability and trust are fundamental prerequisites for the establishment of functional relationships among peers in a Collaborative Networked Organisation (CNO), especially in the context of Virtual Enterprises where economic benefits can be directly at stake. This paper presents a novel approach towards effective service discovery and selection that is no longer based on informal, ambiguous and potentially unreliable service descriptions, but on formal specifications that can be used to verify and certify the actual Web service implementations. We propose the use of Stream X-machines (SXMs) as a powerful modelling formalism for constructing the behavioural specification of a Web service, for performing verification through the generation of exhaustive test cases, and for performing validation through animation or model checking during service selection.

Keywords

Service Selection Service Registry Service Consumer Generate Test Case Service Advertisement 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© International Federation for Information Processing 2008

Authors and Affiliations

  • Dimitrios Kourtesis
    • 1
  • Ervin Ramollari
    • 1
  • Dimitris Dranidis
    • 2
  • Iraklis Paraskakis
    • 1
  1. 1.South East European Research Centre (SEERC)Research Centre of the University of Sheffield and CITY CollegeThessalonikiGreece
  2. 2.Computer Science Department, CITY CollegeAffiliated Institution of the University of SheffieldThessalonikiGreece

Personalised recommendations