分析对象状态变化。进一步细化模型，展示对象状态的变化。工作产品是状态图。