Контроль полноты и согласованности модели проектируемой системы (по методологии Гейн-Сарсона) производится на шаге

• Верификация модели

• Определение характеристик и содержания потоков данных

• Построение иерархии диаграмм потоков данных

• Разработка и описание внутренней логики процессов