Для определения требований недостаточно иметь только функциональные модели и модели потоков данных. Необходимо также рассмотреть поведение системы в различных ситуациях, имея в виду, что при этом система может находиться в конечном числе возможных состояний.