A Bounded Model Checking Approach for the Verification of Web Services Composition

Ehtesham Zahoor, Kashif Munir, Olivier Perrin and Claude Godart
Additional contact information
Ehtesham Zahoor: National University of Computer and Emerging Sciences, Islamabad, Pakistan
Kashif Munir: National University of Computer and Emerging Sciences, Islamabad, Pakistan
Olivier Perrin: Laboratoire Lorrain de Recherche en Informatique et Ses Applications (LORIA), Université de Lorraine, Lorraine, France
Claude Godart: Laboratoire Lorrain de Recherche en Informatique et Ses Applications (LORIA), Université de Lorraine, Lorraine, France

International Journal of Web Services Research (IJWSR), 2013, vol. 10, issue 4, 62-81

Abstract: In this paper, we propose a bounded model-checking based approach for the verification of declarative Web services composition processes using satisfiability solving (SAT). The need for the bounded model-checking approach stems from the nature of declarative processes as they are defined by only specifying the constraints that mark the boundary of the solution to the composition process. The proposed approach relies on using Event Calculus (EC) as the modeling formalism with a sound and complete EC to SAT encoding process. The use of EC as the modeling also formalism allows for a highly expressive approach for both the specification of composition model and for the specification of verification properties. Furthermore, as the conflict clauses returned by the SAT solver can be significantly large for complex processes and verification requirements, we propose a filtering criterion and defined patterns for identifying the clauses of interest for process verification.

Date: 2013
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 018/ijwsr.2013100103 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jwsr00:v:10:y:2013:i:4:p:62-81

Access Statistics for this article

International Journal of Web Services Research (IJWSR) is currently edited by Liang-Jie Zhang

More articles in International Journal of Web Services Research (IJWSR) from IGI Global
Bibliographic data for series maintained by Journal Editor ().