Recent years have seen the utilisation of Semantic Web Service descriptions for automating a wide range of service-related activities, with a primary focus on service discovery, composition, execution and mediation. An important area which so far has received less attention is service validation, whereby advertised services are proven to conform to required behavioural specifications. This paper proposes a method for validation of service-oriented systems through automated functional testing. The method leverages ontology-based and rule-based descriptions of service inputs, outputs, preconditions and effects (IOPE) for constructing a stateful EFSM specification. The specification is subsequently utilised for functional testing and validation using the proven Stream X-machine (SXM) testing methodology. Complete functional test sets are generated automatically at an abstract level and are then applied to concrete Web services, using test drivers created from the Web service descriptions. The testing method comes with completeness guarantees and provides a strong method for validating the behaviour of Web services.
%0 Conference Paper
%1 leveraging2009
%A Ramollari, Ervin
%A Kourtesis, Dimitrios
%A Dranidis, Dimitris
%A Simons, Anthony
%B 6th Annual European Semantic Web Conference (ESWC2009)
%D 2009
%K Engineering Formal_Languages Inference Logic Rule_of_Inference Semantic_Web Semantic_Web_Services Service_Validation Test Validation Web_Service Web_service_testing
%P 593-607
%T Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing
%U http://data.semanticweb.org/conference/eswc/2009/paper/205
%X Recent years have seen the utilisation of Semantic Web Service descriptions for automating a wide range of service-related activities, with a primary focus on service discovery, composition, execution and mediation. An important area which so far has received less attention is service validation, whereby advertised services are proven to conform to required behavioural specifications. This paper proposes a method for validation of service-oriented systems through automated functional testing. The method leverages ontology-based and rule-based descriptions of service inputs, outputs, preconditions and effects (IOPE) for constructing a stateful EFSM specification. The specification is subsequently utilised for functional testing and validation using the proven Stream X-machine (SXM) testing methodology. Complete functional test sets are generated automatically at an abstract level and are then applied to concrete Web services, using test drivers created from the Web service descriptions. The testing method comes with completeness guarantees and provides a strong method for validating the behaviour of Web services.
@inproceedings{leveraging2009,
abstract = {Recent years have seen the utilisation of Semantic Web Service descriptions for automating a wide range of service-related activities, with a primary focus on service discovery, composition, execution and mediation. An important area which so far has received less attention is service validation, whereby advertised services are proven to conform to required behavioural specifications. This paper proposes a method for validation of service-oriented systems through automated functional testing. The method leverages ontology-based and rule-based descriptions of service inputs, outputs, preconditions and effects (IOPE) for constructing a stateful EFSM specification. The specification is subsequently utilised for functional testing and validation using the proven Stream X-machine (SXM) testing methodology. Complete functional test sets are generated automatically at an abstract level and are then applied to concrete Web services, using test drivers created from the Web service descriptions. The testing method comes with completeness guarantees and provides a strong method for validating the behaviour of Web services.},
added-at = {2009-05-29T11:44:15.000+0200},
author = {Ramollari, Ervin and Kourtesis, Dimitrios and Dranidis, Dimitris and Simons, Anthony},
biburl = {https://www.bibsonomy.org/bibtex/2a7e47d123ad18becd228fd9e8614f7fa/eswc2009},
booktitle = {6th Annual European Semantic Web Conference (ESWC2009)},
interhash = {54d1c14ebd64f3ae82181e6d27a46d5e},
intrahash = {a7e47d123ad18becd228fd9e8614f7fa},
keywords = {Engineering Formal_Languages Inference Logic Rule_of_Inference Semantic_Web Semantic_Web_Services Service_Validation Test Validation Web_Service Web_service_testing},
month = {June},
pages = {593-607},
timestamp = {2009-05-29T11:44:15.000+0200},
title = {Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing},
url = {http://data.semanticweb.org/conference/eswc/2009/paper/205},
year = 2009
}