Интернет магазин китайских планшетных компьютеров

Компьютеры - Язык спецификаций

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

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

Различные языки спецификаций используются для описания структуры информационной системы, моделей предметной области и других задач, связанных с разработкой ПО и БД и могут иметь как текстовый, так и бинарный формат, а также графическое представление конструкций языка. Применяются они так же для описания интерфейсов пользователя, шаблонов отчётов, преобразования документов, а также в качестве форматов передачи данных между приложениями в распределённых информационных системах. Ещё одно применение языков спецификации - описание структур баз данных, а именно - декларативная часть SQL обычно называется Data Definition Language. При синтаксическом анализе и разборе применяются языки спецификаций, например, BNF и ABNF являются общепринятыми формальными языками спецификации сетевых протоколов и даже синтаксиса активных языков программирования; RegEx аналогичны выше упомянутым нотациям, однако форма записи регулярных выражений в десятки раз компактнее, и хорошо разработаны алгоритмы парсинга с их помощью, а поддержка регулярных выражений осуществлена в подавляющем большинстве современных языков программирования.