3、控制规格说明 　　控制规格说明从两个方面给出系统的行为。其一是状态�D迁移图(STD)，它是行为的"顺序规格说明"。其二是加工激活表(PAT)，它是行为的"组合规格说明"，表明当事件激发时，数据流图中的哪些加工要被激活。