Eine Abfolge möglicher Zustandsänderungen eines Datenobjekts. [Referenz: Beizer]