On the Controlled Evolution of Process Choreographies · Study