A Proof Based Approach for Modelling and VerifyingWeb Services Compositions | IEEE Conference Publication | IEEE Xplore