Я думал что UML является единственной возможностью формализованно описать архитектуру системы. Оказывается нет. Есть немало Языков Описания Архитектуры.

Список и основы (Wikipedia — eng)

Тоже список и небольшое сравнение (Software Engineering Institute — eng)

Правда, на том же сайте в SEI сами просят откликнуться тех, кто используется данные языки, и рассказать об этом по-подробнее.

Не совсем понятны преимущества языков перед UML (простота? текстовая нотация?).
Да и вообще, с учетом массового наращивания фич в языках, почему до сих пор средства описания архитектуры еще не встроены в языки программирования?