Система SREM используется для автоматизации этапа анализа требований, предъявляемых к программному обеспечению. Она включает в себя язык определения требований (RSL), посредством которого устанавливаются связи между объектами. Проверка последовательности предложений на языке RSL осуществляется с помощью процессора REVS. При использовании системы SREM выполняются следующие шаги:
· Трансляция. Разрабатывается система требований, включающая описатели данных и этапы их обработки.
· Декомпозиция. Разрабатываются подробные проекты.
· Распределение. С помощью процессора REVS моделируются отдельные аспекты проектных решений с учетом принятых допущений. В результате имеем множество требований к построению системы, генерируемых REVS.
· Анализ. Пользователь проверяет все требования, предъявляемые к будущей системе.