An Abstract Semantics of the Global View of Choreographies