在SA方法的需求描述工具中，()描述系统的分解，即描述系统由哪几部分组成，各部分之间有什么联系等等。()定义了数据流图中每一个图形元素。结构化语言、判定表或判定树则详细描述数据流图中不能被再分解为()。