Analysis of Realizability Conditions for Web Service Choreographies