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

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