From Architectural to Behavioural Specification of Services