定义了三种模型来描述系统。(49)可以用状态图来表示；(50)可以用数据流图来表示。(51)为上述两种模型提供了基本的框架。