Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study