Без заголовка

Вот мы с vvagr это и обсуждали: паттерны в ISO 15926 -- это как раз сигнатуры без аксиом (т.е. сигнатуры без подразумеваемого механизма вывода), а уж как они обрабатываются потом (поднимаемыми темплейтами ISO 15926, или рендерами экранных редакторов, или солверами из Agda) это вопрос отдельный. Так что по этому поводу, похоже, у нас консенсус, только терминология чуть разная была использована. Всё одно стоит вопрос про то, -- как базовую систему типов отображать в конкретном синтаксисе (текстовом? графическом? что брать за основу?), и -- какие там типы считать базовыми (например, считать нечеловечьи "темпоральные части" и "функциональные физические объекты" из ISO 15926 правильными начальными типами, или "состояния" и "системные компоненты" из HQDM, или тяжело вздохнуть и сразу делать что-то своё на базе моего доклада по понятию "система" и анализа текущих архитектурных языков плюс Моделики). В любом случае, задача при текущей постановке уже представляется обозримой и обоснованной.