Verifying Composite Service Recovery Mechanisms: A Transactional Approach based on Event Calculus

Walid Gaaloul, Sami Bhiri, Manfred Hauswirth, Mohsen Rouached, Claude Godart

Proceedings of the 15th International Conference on Cooperative Information Systems CoopIS’07
,
2007
.
Conference Paper
Project: 
SUPER