Generic and Specific Compatibility Criteria for Web Service Composition: Formal Abstraction and Modular Verification Approach1

Kais Klai, Samir Tata, Hanen Ochi. Generic and Specific Compatibility Criteria for Web Service Composition: Formal Abstraction and Modular Verification Approach1. Int. J. Web Service Res., 9(4):45-68, 2012. [doi]

Abstract

Abstract is missing.