Kourtesis, Dimitrios, Ramollari, Ervin, Dranidis, Dimitris et al. (1 more author) (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
Abstract
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.
Metadata
Item Type: | Book Section |
---|---|
Authors/Creators: |
|
Editors: |
|
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 |
Dates: |
|
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 |
Series Name: | IFIP International Federation for Information Processing |
Refereed: | Yes |
Identification Number: | 10.1007/978-0-387-84837-2 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:10865 |