Title

On the verification of behavioral and probabilistic web services using transformation

RIS ID

87132

Publication Details

Oghabi, G., Bentahar, J. & Benharref, A. 2011, 'On the verification of behavioral and probabilistic web services using transformation', in I. Foster, L. Moser & J. Zhang (eds), IEEE 9th International Conference on Web Services, ICWS 2011, The Institute of Electrical and Electronics Engineers Inc, United States, pp. 548-555.

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.

Please refer to publisher version or contact your library.

Share

COinS
 

Link to publisher version (DOI)

http://dx.doi.org/10.1109/ICWS.2011.106