Behavioural Verification of Service Composition