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

Метамоделирование - интеллектуальная практика, интегрирующая все абстрагирующие эпистемологические или когнитивные дисциплины ... 

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

Как научно-исследовательская программа, метамоделирование - парадигма, теория, продукционная экспертная система, концептуальный анализ, научная лексика и перманентная интерпретация в рамках метамоделирования как метатеории ...

Логика высших порядков подобно теории типов - нерелизованная научно-исследовательская программа, вдохновленная логикой предикатов, расширяющей логику выказываний ... все в конечном итоге трансформировалось в теорию моделей, металогику и в функции высших порядков в метаязыках ... Всё это может интерпретироваться как метасистемный транзит (переход) ... Иерархия тоже модель ... Можно говорить, в общем случае, о сети ... О синтезе моделей ...