Проверка структурно-функциональной модели на детализацию практически не имеет смысла на этапе

Верификация контекстных диаграмм
Построение иерархии диаграмм потоков данных
Разработка и описание внутренней логики процессов
Определение характеристик и содержания потоков данных

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.