sequence of states and valid state transitions along with the causes and effects of those state transitions that define the actions of a Program in terms of discrete stages