Язык спецификаций
Язык спецификаций — формальный язык, предназначенный для декларативного описания структуры, связей, свойств данных и способов их преобразований, (в отличие от активных языков) без явного упоминания порядка выполняемых действий и использования конкретных значений данных.

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

Различные языки спецификаций используются для описания структуры информационной системы, моделей предметной области и других задач, связанных с разработкой ПО и БД (UML, ERD, DFD) и могут иметь как текстовый, так и бинарный формат, а также графическое представление конструкций языка. Применяются они также для описания интерфейсов пользователя (XUL, XAML), шаблонов отчётов, преобразования документов, а также в качестве форматов передачи данных между приложениями в распределённых информационных системах (XML, JSON, CLEAR). Ещё одно применение языков спецификации — описание структур баз данных, а именно — декларативная часть SQL обычно называется Data Definition Language (DDL). При синтаксическом анализе и разборе (парсинге) применяются языки спецификаций, например, форма Бэкуса — Наура и ABNF ( — расширенная форма Бэкуса — Наура) являются общепринятыми формальными языками спецификации сетевых протоколов и даже синтаксиса активных языков программирования; регулярные выражения аналогичны выше упомянутым нотациям, однако форма записи регулярных выражений в десятки раз компактнее, и хорошо разработаны алгоритмы парсинга с их помощью, а поддержка регулярных выражений осуществлена в подавляющем большинстве современных языков программирования.
Q192161
формальный язык
Concept
Q494756
данных
Concept
Q9143
языков программирования
Concept
Q40056
компьютерных программ
Concept
Q679871
системного анализа
Concept
Q187147
анализа требований
Concept
Q12271
архитектуры
Concept
Q173326
формальной верификации
Concept
Q169411
UML
MEDIA
Q624546
ERD
Concept
Q747385
DFD
MISC
Q726218
XUL
MEDIA
Q258778
XAML
MEDIA
Q2115
XML
ORG
Q2063
JSON
ORG
None
CLEAR
UNK
Q47607
SQL
MEDIA
Q1431648
DDL
ORG
Q211577
форма Бэкуса — Наура
ORG
None
ABNF
UNK
Q185612
регулярные выражения
Concept
Q194152
парсинга
Concept
Q1209840
Язык спецификаций
Concept
has quality