Мова програмування DASL (Distributed Application Specification Language) — це високорівнева строго типізована мова програмування, спочатку розроблена в Sun Microsystems Laboratories між 1999 і 2003 роками в рамках проекту Ace . Цілі проекту полягали в тому, щоб уможливити швидку розробку веб-додатків на основі архітектури Sun J2EE та усунути круту криву навчання деталей, що стосуються платформи.

DASL визначає додаток як модель домену з однією або декількома моделями логічного представлення , де логічна модель представлення складається з хореографії об’єктів моделі предметної області, описаних у наборі форм із доданими діями. DASL створює графічний інтерфейс користувача безпосередньо з логічної презентації.

DASL є унікальною серед сучасних мов програмування додатків своєю здатністю генерувати сучасний графічний інтерфейс користувача для програми, не вимагаючи від програміста явного визначення інтерфейсу користувача, дозволяючи програмісту контролювати зовнішній вигляд створеного графічного інтерфейсу користувача.

Мова DASL є частково декларативною і частково процедурною. Опис структур об’єкта/даних і збереження, а також опис логічного представлення є декларативними. Основні обмеження та поведінка об’єктів є декларативними, тоді як поведінка додаткових об’єктів задається процедурно як методи. Запити можуть бути визначені або декларативно, або за допомогою методів написання.

Мова та середовище розробки є практичною реалізацією підходу архітектури, керованої моделлю ( MDA ). Програміст використовує DASL для створення незалежної від платформи моделі або PIM, а генератори мовного коду автоматично створюють і розгортають специфічну для платформи модель або PSM. Нові PSM можуть бути введені шляхом написання нових генераторів коду.

