<<
>>

Декларативное программирование

Декларативное программирование - парадигма программирования, в которой, в отличии от императивного программирования, для решения конкретной задачи описывается её структура и что должно быть получено в результате без описания способа решения.

Например, в коде web-страницы на HTML [91] описывается содержание страницы (текст, элементы интерфейса) без описания способа её отображения. Язык запросов SQL [26] описывает, что должно быть выбрано из таблиц БД, а как это будет реализовано, решает конкретная СУБД.

Важной особенностью декларативных языков является отсутствие в них команд реализации алгоритмов (создания, модификации конкретных объектов),

18 что дает возможность абстрагироваться от конкретной реализации и создавать платформо-независимые системы. К преимуществам парадигмы декларативного программирования относят [80] простоту написания программ, легкость восприятия кода программистами (по сравнению с императивными программами), простота сопровождения и модернизации. Часто декларативные языки применяются для создания спецификаций [1]. Спецификации - это средство описания, формализации задач, программ или ППС в целом.

Выразительными средствами спецификаций могут быть не только декларативные языки. Известны различные графические средства создания спецификаций, в том числе UML (например, в работе [69] предложен диаграммный язык для создания спецификаций пользовательских интерфейсов). Спецификации, для создания которых применяют декларативные языки, будем называть «декларативными спецификациями».

Важными свойствами спецификаций являются точность, понятность и полнота[1, 2, 19]. Свойство полноты требует присутствия в спецификации всей значимой для решения конкретной задачи информации, что гарантирует получение адекватного результата. Точность спецификации обеспечивает однозначную интерпретацию описанных в ней объектов. В силу понятности декларативные спецификации просты для восприятия человеком, кроме того, спецификации легко тестируются, поскольку все связи между объектами программы статичны, хорошо поддаются трансформации и на их основе могут быть сгенерированы приложения. Поэтому спецификации удобно использовать для описания структур пользовательских интерфейсов, интерфейсов взаимодействия между подсистемами, структур данных и самих ППС. Спецификации, на основе которых синтезируются как части (модули, блоки, формы), так и ППС в целом, можно назвать исполняемыми спецификациями.

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

19 предоставляет разработчику интерфейс в виде контекстно-зависимых диалоговых форм, встроенные интерпретатор или компилятор, а также среду программирования на императивном языке (например, VB в MS Access, Java в Oracle ADF) для реализации специфических задач.

1.4.

<< | >>
Источник: Фереферов Евгений Сергеевич. ТЕХНОЛОГИЯ АВТОМАТИЗАЦИИ СОЗДАНИЯ ПРИЛОЖЕНИЙ БАЗ ДАННЫХ С ГИС-ФУНКЦИОНАЛЬНОСТЬЮ НА ОСНОВЕ ИХ ДЕКЛАРАТИВНЫХ СПЕЦИФИКАЦИЙ. ДИССЕРТАЦИЯ на соискание ученой степени кандидата технических наук. Иркутск - 2014. 2014

Еще по теме Декларативное программирование:

  1. Фереферов Евгений Сергеевич. ТЕХНОЛОГИЯ АВТОМАТИЗАЦИИ СОЗДАНИЯ ПРИЛОЖЕНИЙ БАЗ ДАННЫХ С ГИС-ФУНКЦИОНАЛЬНОСТЬЮ НА ОСНОВЕ ИХ ДЕКЛАРАТИВНЫХ СПЕЦИФИКАЦИЙ. ДИССЕРТАЦИЯ на соискание ученой степени кандидата технических наук. Иркутск - 2014, 2014
  2. 5.1 Программа для ЭВМ
  3. 16.2. Способы обеспечения законности и дисциплины в государственном управлении.
  4. Проблема выявления собственно церковнославянизмов и церковнославяно-русских полисемантов в идиолексиконе Вяземского: некоторые процедуры и результаты
  5. ПРИЛОЖЕНИЕ
  6. Формирование представлений о личностных и профессионально важных качествах идеального школьного учителя в 1900-1920 гг.
  7. Право на удовлетворение иска и право на получение судебной защиты
  8. Психолингвистический анализ современной медианоминации
  9. 21. Исполнение опекунами и попечителями обязанностей в отношении подопечного. Распоряжение и доверительное управление имуществом подопечного.
  10. Статистика влияния типа грунтов на распространение КРН
  11. 53. Оспоримые сделки: основания, условия, последствия и момент недействительности.
  12. Моделирование методом конечных элементов. Численный эксперимент