审批流程需求分析（五）——分析模型的进一步验证

现在，我们用更复杂一些的请假流程来验证分析模型。

step-4.PNG

我们可以将上面的流程简化为下面的状态转移表，增加了一个传入变量请假时间（Days）：

开始节点	结束节点	转移条件
Start	Submit	IsStart=true
Submit	ManagerApprove	Days<=3&&IsSubmit=true
Submit	GMApprove	Days>3&&IsSubmit=true
ManagerApprove	End	IsApproved=true
ManagerApproved	Submit	NeedModify=true
GMApprove	End	IsApproved=true
GMApprove	Submit	NeedModify=true

现在看分析模型可以符合目前的需求，下一步，我们进行设计。
需要注意的是，我们这里建立的是分析模型，目的是将需求进行抽象，将设计人员与具体的需求隔离。没有涉及到如何具体实现，具体实现时也不需要被需求模型所束缚，只要所完成的设计能够满足需求模型指出的需求就可以了。