scholarly journals Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking

2006 ◽  
Author(s):  
J. Garcia-Fanjul ◽  
C. de la Riva ◽  
J. Tuya
Keyword(s):  
Model Checking ◽  
Web Services ◽  
Conformance Test ◽  
Test Suites

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

2013 ◽  
Vol 10 (4) ◽  
pp. 62-81 ◽  
Author(s):  
Ehtesham Zahoor ◽  
Kashif Munir ◽  
Olivier Perrin ◽  
Claude Godart
Keyword(s):  
Model Checking ◽  
Web Services ◽  
Bounded Model Checking ◽  
Web Services Composition ◽  
Process Verification ◽  
Services Composition ◽  
Complex Processes ◽  
Sat Encoding ◽  
Composition Process ◽  
Modeling Formalism

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.

scholarly journals Modeling and Model Checking Web Services

2005 ◽  
Vol 126 ◽  
pp. 3-26 ◽  
Author(s):  
Holger Schlingloff ◽  
Axel Martens ◽  
Karsten Schmidt
Keyword(s):  
Model Checking ◽  
Web Services

Model-Checking of Web Services Choreography

2008 ◽  
Author(s):  
Hongli Yang ◽  
Xiangpeng Zhao ◽  
Chao Cai ◽  
Zongyan Qiu
Keyword(s):  
Model Checking ◽  
Web Services

Model-checking web services business activity protocols

2012 ◽  
Vol 15 (2) ◽  
pp. 125-147 ◽  
Author(s):  
Abinoam P. Marques ◽  
Anders P. Ravn ◽  
Jiří Srba ◽  
Saleem Vighio
Keyword(s):  
Model Checking ◽  
Web Services ◽  
Business Activity
Sign in / Sign up

Export Citation Format

Share Document