White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

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

Kourtesis, Dimitrios, Ramollari, Ervin, Dranidis, Dimitris and Paraskakis, Iraklis (2008) Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification. In: Camarinha-Matos, L.M. and Picard, W., (eds.) Pervasive Collaborative Networks. IFIP International Federation for Information Processing (283/20). Springer , Boston , pp. 473-482. ISBN 978-0-387-84836-5

[img] Text

Download (347Kb)


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.

Item Type: Book Section
Copyright, Publisher and Additional Information: This is an author produced version of a chapter published in 'Pervasive Collaborative Networks'. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Web Services, Registry-Based Testing, Verification, Certification, Stream X-machines, Formal Methods
Institution: The University of Sheffield
Academic Units: The University of Sheffield > University of Sheffield Research Centres and Institutes > South East European Research Centre (Sheffield)
Depositing User: Mr Dimitrios Kourtesis
Date Deposited: 11 Jun 2010 13:54
Last Modified: 08 Feb 2013 17:00
Published Version: http://dx.doi.org/10.1007/978-0-387-84837-2
Status: Published
Publisher: Springer
Refereed: Yes
Identification Number: 10.1007/978-0-387-84837-2
URI: http://eprints.whiterose.ac.uk/id/eprint/10865

Actions (repository staff only: login required)