要求の分析に当たって、データとプロセス（データの作成、読取り、更新、削除）の対応関係を検証するものはどれか。