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

Неправильно. а) моделирование ПО и "просто моделирование" фактически слиплись (генерация обычно специально оговаривается, что идет "во что угодно", а не только машинный код) b) DSL вполне могут быть как визуальными, так и текстовыми c) DSL может быть (и обычно так и применяется) несколько в одном проекте. Каждый из них представляет одну группу описаний для одной общей для всех них модели. Каков процесс объединения этих описаний -- это обсуждается (может быть weaving, как в AOP, а может быть и по-другому, ибо DSL обычно серьезно отходят от процедурности и эти описания просто "добавляются"). UML -- это как раз детство этого подхода, заключающееся в использовании всего пяти заранее предписанных типов диаграмм. DSL -- это использование заранее неизвестного числа типов заранее не предписанных диаграмм, а также детальности этого описания до уровня, когда о "диаграммах" уже неудобно говорить и говорят о "языках".