The sequence of possible changes to the state of data objects. [Reference: Beizer]