On the Verification of Behavioral and Probabilistic Web Services Using Transformation

Authors:
Giti Oghabi;Jamal Bentahar;Abdelghani Benharref
Affiliations:
-;-;-
Venue:
ICWS '11 Proceedings of the 2011 IEEE International Conference on Web Services
Year:
2011

Citing 0
Cited 2

Cascading verification: an integrated method for domain-specific model checking

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
A systematic review on the functional testing of semantic web services

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we propose a preliminary approach for automating web service verification. We use Semantic Markup for Web Services (OWL-S) to describe web service behavior. We parse the OWL-S file and transform it automatically to a corresponding Markov chain diagram or Markov decision process, which are then transformed to a PRISM model to be used as input by PRISM, a probabilistic model checker, to verify automatically the web service behavior. We provide an implementation of the transformation algorithm through a developed software tool automating all the transformation and verification activities.