Composition and Interaction for Behavioural Specifications