Без заголовка
Почему я этим всем занимаюсь? Я бы с удовольствием воспользовался готовым универсальным моделером, чтобы делать в нем DSL PraxOS в таких domain как системная инженерия, организационное управление и ситуационная инженерия методов. А дальше бы я применял эти DSL на практике, получал опыт, и выпускал бы новые версии этих языков. Но универсального моделера нетути, и приходится думать, сколько ждать до того момента, когда он появится "сам собой", или примериваться к тому, чтобы затеять его разработку.
А чем Вас не устраивают internal DSL, которые уже отработаны и которые можно использовать прямо сейчас, без необходимости ждать когда сделают чудесный золотой моделлер? Такие языки как Lisp, Scala, Haskell, OCaml/F# позволяют стругать как internal DSL, так и быстро делать парсеры для external DSL (опять же использую специализированный DSL для парсеров).