On the use of behavioural equivalences for web services' development