Без заголовка
****"модели систем, написанные на SysMoLan
ну коль можно модели систем писать на сисмоланге, то и модель сисмоланга можно написать на нем же )
следует определиться с понятием модели и формализовать понятие модель!
тогда станет ясно, что требуется для языка на котором всё желаете замоделировать
вероятно для всяких таких вещей нужен не язык Юля, а язык Рефал и только он или нечто вроде него, или нечто вроде лиспа, имхо конечно в этом пункте