В своё время была предложена такая модель:Вложение:Расторгуев-ПрогМетЗИвКомпИСетях-извл(Гл4).djvu[120.03 КБ]
Скачиваний: 838
(см. прежде всего п. 4.3).
Интересна она тем, что показывает возможную реализацию "самомодификации таблиц команд" по Тьюрингу. Также, сопоставляя со взглядами Д. Дагаева на исполнение алгопроцессов, можно видеть, что точно также здесь вводится модель исполнимости. Точнее даже, наверное, Расторгуев рассматривает более общий случай... Видимо, м.б. приложено и для формирования механизма компоновки проектов по заданным критериям...