Или сверху вниз...На самом деле это никак не ограничивается. В технологии реального сектора существуют как справочники техопераций/техпроцессов, пополнение коих можно трактовать как "снизу вверх" (для компоновки технологий), так и разработки законченных технологий, в т.ч. из ранее не оопределённых ТО/ТП, что можно понимать как "сверху вниз".
По существу, если на примере, говорил о том, что надо описывать технологию для всех уместных предметов, как здесь:viewtopic.php?p=78218#p78218(в этом случае - для любых программ в заданном синтаксисе). А среда для конкретного предмета (здесь - текста программы как предмета технологии проверки) пусть сама строит "бизнес-процесс"... т.е. "развёртку" исполнения... ежели кому надо...

Но. Пока для среды всё это относится лишь к описанию технологий для исполнения человеком. Ибо сказанное тут:viewtopic.php?p=78317#p78317ещё надо на работу исполнителя программ перенести на базе теории...