Choreographies and behavioural contracts on the way to dynamic updates