Представим себе административную карту территории, без лишних деталей, только страны. Так, впрочем может выглядить и органическя ткань, состоящая из клеток, имеющих определенный объем или площадь на плане, такой офсет. Страны или клетки - это узлы графа и, соответственно, их можно связать, с учетом границ.
Вот, собственно, из все. Теперь можно трансформировать эти представления друг в друга (как гомотопии?). Дальше, детализируя, важно не упускать из виду тот факт, что в натуре у нас всегда клетки или узлы, а линии, которые мы рисуем как ребра или связи, имеют исключительно идеальную природу. Это контуры, внешние формы “пространственных фрагментов“. те же границы или дороги, в реальности “площадные объекты“ и если мы их акцентируем и атрибутируем, а тем более именуем, то генерируем или инициируем узлы, со всеми вытекающими последствиями.
Это относится и к синтаксису, символическим секвенциям. Да, все есть отношения, абстракции, но которые категоризуют другие абстракции или выступают в роли остенсивных, демонстративных определений. И это все специфицируется. В частности, не говоря уже об атрибутах, те же препозиции, с одной стороны, отношения, но с другой, те же символы или термины, такие же объекты, как и те, которые обозначают то, что в грамматике акцентируется как объект.
Акцентрование и спецификация отношений как объектов, атрибутов и препозиций - базис проективной грамматики, о которой я тоже хочу сделать несколько замечаний, прежде чем полностью перейти, собственно, к теме метамоделирования. Хотя, по сути, грамматика, тоже демонстрация этого самого процесса. На этом пути можно определить как модель, так и другие её спецификации, в частности, интерпретировать препозиции, как операции или функции, их серии как процессы, концепции и темы, а также показать связь аппликативных конструкций со скобочными, при обозначении процессов.
Мотивация этого поста связана с постом в Телеграм-е о новом стандарте GQL, который, на мой взгляд, крайне многословен, не оптимален, с одной стороны, а с другой, не охватывает принципиальные аспекты вычислительного процесса или не акцентирует его.