Otherwise, the CAS informs Client and Service that authentication failed, by sending a Failure message (Lines 7–8).
A key feature of choreographic programming is the capability of compiling choreographies to distributed implementations.
These implementations can be libraries for software that needs to participate in a computer network by following a protocol,[1][3][4] or standalone distributed programs.
[5][6] The translation of a choreography into distributed programs is called endpoint projection (EPP for short).
[1] Choreographic programming has also been heavily influenced by standards for service choreography and interaction diagrams, as well as developments of the theory of process calculi.