On the Verification of Behavioral and Probabilistic Web Services Using Transformation

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Oghabi, G., Bentahar, J., Benharref, A.
Format: Conference Proceeding
Language:English
Subjects:
Analytical models
Markov processes
Mathematical model
Model Checking
Probabilistic logic
Process control
System recovery
Verification
Web Service
Web services
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/ICWS.2011.106