数据流图的正确性是保证软件逻辑模型正确性的基础，与其相关性较弱的内容是 ( )。