Без заголовка

Ценю Ваш юмор. Но на мои доводы Вы не ответили. Я говорил, что формализация в виде предиката, который соотносит ввод и вывод системы (и дальше оперирует только этим) может оказаться неудобной в ряде случаев, касающися, прежде всего, сервисоориентированных систем со слабо формализуемым (по принципиальным соображениям) заказчиком. Это не значит, что надо отказываться от формализации, это всего лишь значит, что данный путь формализации - не оптимален. В качестве альтернатив более приемлема процессно-ориентированная формализация, отталкивающаяся от, например, методологии ITIL. Там конструкция несколько сложнее, чем просто базовые предикаты с вводом и выводом, вернее даже так - отдельные процессы там вполне укладываются в предикатную логику, но кроме нее в системе есть еще архитектура, которая описывает взаимодействие этих черных ящиков. Из чего делаю вывод - что предикатов, вообще говоря, не достаточно для выделения всех требований (например, требований, которые будут связаны с требуемой логикой взаимодействия с пользователем по доформализации самих требований), и более правильно рассматривать систему по слоям, где предикатам есть законное (но не главенствующее) место.