Без заголовка
С SysML, Archimate и прочими "языками диаграмм" есть ещё одна проблема: в них очень сложно представить такой тип мереологических отношений между языками из работы Voelter как embedding (stereotypes не в счёт, это ещё хуже, чем метапрограммирование на шаблонах С++). Причем именно этого типа отношений, боюсь, не будет хватает при попытке взаимного согласования cross-cutting concerns, что будет общим местом при трансляции компонентов методов из менее формальных источников. Только поэтому мне кажется, что язык описания методов должен быть текстовым или структурно-текстовым a-la MPS.