Unifying Architectural and Behavioural Specifications of Distributed Components