Timed Model Checking Based Approach for Web Services Analysis

2009 ◽  
Author(s):  
Nawal Guermouche ◽  
Claude Godart
Keyword(s):  
Model Checking ◽  
Web Services ◽  
Timed Model Checking

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
Sign in / Sign up

Export Citation Format

Share Document