Transaktionsdiagramm (engl.: state transition diagramm) Darstellung eindeutiger Folgen von im Rechner ablaufenden Funktionen (gekennzeichnet durch Anstoß und Ende).