Templates and automation for temporal query generation
Proceedings of the 44th annual Southeast regional conference
DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework1
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
Towards verifying compliance in agent-based web service compositions
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Verifying Temporal and Epistemic Properties of Web Service Compositions
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Improving Trust in Composite eServices Via Run-Time Participants Testing
EGOV '08 Proceedings of the 7th international conference on Electronic Government
Towards an Agent Based Approach for Verification of OWL-S Process Models
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Exploring XML Perturbation Techniques for Web Services Testing
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Connectedness testing of RESTful web-services
Proceedings of the 3rd India software engineering conference
Improving data perturbation testing techniques for Web services
Information Sciences: an International Journal
A comparative evaluation of state-of-the-art web service composition testing approaches
Proceedings of the 6th International Workshop on Automation of Software Test
Service research challenges and solutions for the future internet
Protocol compatibility notations for service integration testing
Proceedings of the International Workshop on Quality Assurance for Service-Based Applications
Towards verifying contract regulated service composition
Autonomous Agents and Multi-Agent Systems
Model-based testing of service infrastructure components
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
| Hi-index | 0.00 |
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to carry out a coherent task. This paper presents a new approach to verify Web Services by model checking the process model of OWL-S (Web Ontology Language for Web Services) and to validate them by the test cases automatically generated in the model checking process. We extend the BLAST, a model checker that handles control flow model naturally, to handle the concurrency in OWL-S. We also propose enhancement in OWL-S and PDDL (Planning Domain Definition Language) to facilitate the automated test case generation. Experiments on realistic examples are provided to illustrate the process.