Automated Model Checking and Testing for Composite Web Services

16 years 16 days ago

Download asusrl.eas.asu.edu

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.

Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C

Real-time Traffic

ISORC 2005 | Model Checking | Software Engineering | Test Case | Web Services |

claim paper

» Web Service Composition A Reality Check

» WebMov A Dedicated Framework for the Modelling and Testing of Web Services Composition

» Automated performance assessment for serviceoriented middleware a case study on BPEL engin...

» Model checking service compositions under resource constraints

» Toward a PiCalculus Based Verification Tool for Web Services Orchestrations

» Progressive Ranking and Composition of Web Services Using Covering Arrays

» Semantic Web Service Composition through a Matchmaking of Domain

» Planning and Monitoring Web Service Composition

Post Info
More Details (n/a)

Added	25 Jun 2010
Updated	25 Jun 2010
Type	Conference
Year	2005
Where	ISORC
Authors	Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong Chen

Comments (0)

Sciweavers

Automated Model Checking and Testing for Composite Web Services

ISORC 2005 | Model Checking | Software Engineering | Test Case | Web Services |

Explore & Download

Productivity Tools

Sciweavers