Choreography-based design of business collaborations by R. dijkman