Un diagramma che rappresenta l'insieme di tutte le possibili sequenze in cui le operazioni possono essere effettuate durante l'esecuzione di un programma o di sistema. Tipi includono diagramma casella, diagramma di flusso, processo-input-output grafico, diagramma di stato.