Методы декларативного проектирования

Методы логического проектирования

Методы проблемного проектирования

Метод проблемного проектирования является более всего орудием математика или проектировщика. Сущность его состоит в применении поддержанных синтаксически и семантически способов описания теорий, проблем и операций для построения БЗ и форм запросов, а также для синтеза программ. Методы ориентированы на решение класса задач и требуют предварительных исследований и решения вспомогательных задач, отладки теорий или доказательства их свойств. Задача может рассматриваться как объект для формирования подзадач или надзадач.

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

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

Совокупность методов применения логических исчислений для получения программ, знаний и данных составляет методы логического проектирования. Хорошими примерами логического проектирования алгоритмов являются записи на языках ЭС и Пролог. ЯПП целиком обслуживает логическое проектирование. Цель логического проектирования состоит в создании документации по заданиям на проектирование. Задание передается ВМ для реализации автоматического проектирования. Здесь имеется важное обстоятельство переноса тяжести с процессов кодирования на процессы проектирования, что ускоряет процессы разработки или делает их автоматическими. Это же обеспечивает раннее обнаружение ошибок или ошибочных ситуаций, повышает надежность процессов и объектов проектирования (алгоритмов, программ, знаний, информационных систем).

Наличие логического проектирования обеспечивает получение «бесплатных» программ непосредственно прямым пользователем ВМ с консультацией, но без использования программистов, автоматический вывод методов решения задач (в частности, численных методов вычислений).

Для получения программы достаточно описания объектов и установления соотношений или отношений между объектами. Декларативное проектирование можно еще именовать описательным проектированием. Последовательность выполнения операций явно не указывается, кроме задания последовательности в формулах, в которых порядок выполнения операций задается рангом операции и скобками. Метод предназначен для описания предметной (набор имен и характеристик объектов) и проблемной (набор отношений объектов) областей и формирование задания или постановки проблемы в этих областях. При описании таких объектов как функции и процедуры могут иметь тела, представленные на командном языке.