On the verification of behavioral and probabilistic web services using transformation

Giti Oghabi, Jamal Bentahar, Abdelghani Benharref

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Scopus citations

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.

Original languageBritish English
Title of host publicationProceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011
Pages548-555
Number of pages8
DOIs
StatePublished - 2011
Event2011 IEEE 9th International Conference on Web Services, ICWS 2011 - Washington, DC, United States
Duration: 4 Jul 20119 Jul 2011

Publication series

NameProceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011

Conference

Conference2011 IEEE 9th International Conference on Web Services, ICWS 2011
Country/TerritoryUnited States
CityWashington, DC
Period4/07/119/07/11

Keywords

  • Model checking
  • Verification
  • Web service

Fingerprint

Dive into the research topics of 'On the verification of behavioral and probabilistic web services using transformation'. Together they form a unique fingerprint.

Cite this