A diagram that depicts the states that a system or component can assume, and shows the events or circumstances that cause or result from a change from one state to another.