{An Abductive Framework for A-Priori Verification of Web Services}