A diagram, mapping out the events, actions, and branches a program can take. [18]