About this video
<p>Choreography diagrams can be refined using gateways and events to model more elaborate interactions. However, in order to ensure that the choreography can be enacted successfully a number of restrictions apply. Enforceability is a property that ensures that choreographies can be carried out successfully.</p>