Compositional specification of web services via behavioural equivalence of nets: A case study