{Web Service contracting: Specification and Reasoning with SCIFF}