Represent the logical flow of a program graphically.
Examples: flowcharts, data traces, input/output charts