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

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

Metadata

Authors/Creators:
  • Kourtesis, Dimitrios (dkourtesis@seerc.org)
  • Ramollari, Ervin (erramollari@seerc.org)
  • Dranidis, Dimitris (dranidis@city.academic.gr)
  • Paraskakis, Iraklis (iparaskakis@seerc.org)
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: https://doi.org/10.1007/978-0-387-84837-2

Download

Filename: kourtesis_pro-ve2008.pdf

Share / Export

Statistics