Verifying Composite Service Transactional Behavior Using Event Calculus

Author(s):  
Walid Gaaloul ◽  
Mohsen Rouached ◽  
Claude Godart ◽  
Manfred Hauswirth
2009 ◽  
Vol 31 (8) ◽  
pp. 1398-1411 ◽  
Author(s):  
Ming-Wei ZHANG ◽  
Wei-Jie WEI ◽  
Bin ZHANG ◽  
Xi-Zhe ZHANG ◽  
Zhi-Liang ZHU

Author(s):  
Zheng Liu ◽  
Hangxin Guo ◽  
Yuanjun Zhao ◽  
Bin Hu ◽  
Xiaodong Ji ◽  
...  

1995 ◽  
Vol 5 (5) ◽  
pp. 579-602 ◽  
Author(s):  
LODE MISSIAEN ◽  
MAURICE BRUYNOOGHE ◽  
MARC DENECKER

2015 ◽  
Vol 32 (4) ◽  
pp. 711-737 ◽  
Author(s):  
D. Paulraj ◽  
S. Swamynathan ◽  
Daniel Chandran ◽  
K. Balasubadra ◽  
M. Vigilson Prem

2021 ◽  
Vol 13 (2) ◽  
pp. 47-55
Author(s):  
Rupinder Pal Singh ◽  
◽  
Hardeep Singh

Sign in / Sign up

Export Citation Format

Share Document