scholarly journals An Epistemic Model Checking Approach to Web Service Compositions

2012 ◽  
Vol 2 (6) ◽  
pp. 66-73
Author(s):  
Luo Xiangyu ◽  
Wang Kun ◽  
Wang Fengchai
Keyword(s):  
Model Checking ◽  
Web Service ◽  
Epistemic Model

A Verification Approach for Web Service Compositions Based on Epistemic Model Checking

2011 ◽  
Vol 34 (6) ◽  
pp. 1041-1061
Author(s):  
Xiang-Yu LUO ◽  
Zheng TAN ◽  
Kai-Le SU ◽  
Li-Jun WU
Keyword(s):  
Model Checking ◽  
Web Service ◽  
Epistemic Model

Probabilistic Timed Model Checking for Atomic Web Service

2011 ◽  
Author(s):  
Honghao Gao ◽  
Huaikou Miao ◽  
Shengbo Chen ◽  
Jia Mei
Keyword(s):  
Model Checking ◽  
Web Service ◽  
Timed Model Checking
Sign in / Sign up

Export Citation Format

Share Document