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

Для меня эти заходы выстраиваются в уровни. Онтологический - внизу, чистое описание системы, даже без модальностей (берусь так определить классы, что вся разница между have и shall have будет в степени трудности того, как членства в них добиться). А выше - разные варианты деятельностных требований, с разными взглядом на деятельность - как на программу, как на метод, или как на интеракцию.