Смежный, наверное, вопрос в практической плоскости: можно ли описать Archimate модель через типы языка программирования. А если нельзя то как нужно расширить систему типов чтобы это стало возможным

А ссылка на эту модель имеется?

Смежный, наверное, вопрос в практической плоскости: можно ли описать Archimate модель через типы языка программирования. А если нельзя то как нужно расширить систему типов чтобы это стало возможным

А можно как-нибудь коротко, что от этой модели требуется кроме разделения по слоям и аспектам?

Непротиворечивость на этапе компиляции (чтобы нельзя было сделать неверное утверждение)
Вывод неявных следствий (type inference)

Это уже как-то далеко. Что за утверждения вообще? Откуда выводы, следствия? Там какая-то логика предполагается?

Описываются отношения между сущностями. Есть стандартный набор "классов" этих сущностей и есть отношения между ними. Часто весьма нетривиальные

Ну это выглядит как какая-то разновидность логики предикатов, стало быть, зависимые типы

Смежный, наверное, вопрос в практической плоскости: можно ли описать Archimate модель через типы языка программирования. А если нельзя то как нужно расширить систему типов чтобы это стало возможным

Это ещё не обязательно "логика предикатов".
По описанию, выглядит вообще как решётка, возможно, булевая.

А меня очень волнует набор типов из моего учебника системного мышления, гармонизированный с IEC81346. К этому модель HQDM будет поближе, но всё одно нужно разрабатывать эту upper ontology отдельно — инженерная и менеджерская жизнь-то с этим системным мышлением чуток поменялась. И это нужно в upper ontology учесть.

Ну, и какую систему типов, сиречь foundational ontology мне для этой концептуальной/методлогической работы выбрать?

Вот это мой вопрос!

Решётки вроде же описывают объекты-свойства? С порядком вида "все свойства x — также свойства y" или, дуально, "все объекты со свойством x — также объекты со свойством y"

Для простоты, можно держать в голове множество подмножеств.
Вполне описывают «стандартный набор "классов" этих сущностей и есть отношения между ними»

Скорее всего, это не то, что вам нужно, но вот https://github.com/archimatetool/archi/tree/master/com.archimatetool.model

Хотя нет, тогда же объекты односортные все.

Ниччо не понял.
Любые "объектно-ориентированные" примеры с "наследованием" и "свойствами" в булевых решётках элементарно записываются.

У Плоткина что-то прямо такое было, обобщение универсальных алгебр, где много сортов и произвольные отношения в качестве операций