Increased reliability in SOA environments through registry-based conformance testing of Web services

Organisations wishing to engage in industrial collaborative networks will typically seek some guarantees concerning the reliability of their prospective partners before committing to cooperation. Evaluating reliability can encompass several aspects, but one of the most crucial things to consider from a cooperation perspective is whether the software systems that support the business processes of some collaborator actually behave as expected. For organisations that rely on a service-oriented computing infrastructure, this amounts to checking whether the functionality of the respective services is conformant to a given behavioural specification. Today's state of the art lacks standardised methods for creating behavioural specifications of Web services, and also lacks tools for automating the process of behavioural conformance checking through testing. This paper presents a concrete method for creating formal specifications of Web service behaviour and utilising them within service registries for automated testing of service implementations in order to verify and certify their conformance.

[1]  Hamideh Afsarmanesh,et al.  Collaborative networks: a new scientific discipline , 2005, J. Intell. Manuf..

[2]  Raymond A. Paul,et al.  Verification of Web services using an enhanced UDDI server , 2003, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)..

[3]  Florentin Ipate,et al.  Correct systems - building a business process solution , 1998, Applied computing.

[4]  Paul G. Maropoulos,et al.  Digital enterprise technology: perspectives and future challenges , 2008, Int. J. Comput. Integr. Manuf..

[5]  Dimitris Dranidis,et al.  Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing , 2009, ESWC.

[6]  Petros Kefalas,et al.  A DESIGN LANGUAGE AND TOOL FOR X-MACHINES SPECIFICATION , 2000 .

[7]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[8]  Florentin Ipate,et al.  An integration testing method that is proved to find all faults , 1997, Int. J. Comput. Math..

[9]  Hamideh Afsarmanesh,et al.  HICI: An Approach for Identifying Trust Elements The case of technological trust perspective in VBEs , 2007, The Second International Conference on Availability, Reliability and Security (ARES'07).

[10]  Hamideh Afsarmanesh,et al.  Modelling trust relationships in Collaborative Networked Organisations , 2007 .

[11]  Iraklis Paraskakis,et al.  Combining SAWSDL, OWL-DL and UDDI for Semantically Enhanced Web Service Discovery , 2008, ESWC.

[12]  Andrea Polini,et al.  Audition of Web Services for Testing Conformance to Open Specified Protocols , 2004, Architecting Systems with Trustworthy Components.

[13]  Dimitris Dranidis,et al.  Formal Verification of Web Service Behavioural Conformance through Testing , 2007 .

[14]  Samuel Eilenberg,et al.  Automata, languages, and machines. A , 1974, Pure and applied mathematics.

[15]  Luis M. Camarinha-Matos,et al.  Pervasive Collaborative Networks , 2008 .

[16]  Amit M. Paradkar,et al.  Model-based functional conformance testing of web services operating on persistent data , 2006, TAV-WEB '06.

[17]  Iraklis Paraskakis,et al.  Web Service Discovery in the FUSION Semantic Registry , 2008, BIS.

[18]  Sungwon Kang,et al.  Generating Test Cases for Web Services Using Extended Finite State Machine , 2006, TestCom.

[19]  Dimitris Dranidis,et al.  Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification , 2008, Virtual Enterprises and Collaborative Networks.

[20]  Gilbert Thomas Laycock,et al.  The theory and practice of specification based software testing , 1993 .

[21]  Reiko Heckel,et al.  Automatic Conformance Testing of Web Services , 2005, FASE.

[22]  Luis M. Camarinha-Matos.  Collaborative Networks In Industry Trends and Foundations , 2007 .