Исчисление моделей

[serj_aleks]

Здесь уже, как водится, туча с тележкой кандидатов, любое существующие исчисление, раз уже все практики - моделирование. deep_econom выдвинул гипотезу, что таким исчислением может быть, например, ТРИЗ.

Можно ещё посмотреть в сторону сигнатуры ассемблеров. Кажется Вирт пытался сконструировать язык на базе сорока с чем-то инструкций, что коррелирует количественно с основными приёмами ТРИЗ. Некоторые «фортовцы» пытаются выделить базовые семь-восемь. Но на этом пути, до трех или даже двух базовых комбинаторов, мы начинаем терять понимание и упираемся в абсолютные абстракции лямбда и пи- исчислений и те же модели БД или абстрактные типы данных могут быть лучшими прототипами.

Есть попытки специального констрирования, именно, исчисления моделей:

• Исчисление моделей - основа интеллектуализации процессов исследовательского проектирования
• Модельный синтез и модельно-ориентированное программировани