Методы и средства инженерии программного обеспечения


Экспликативное программирование (ЭП) - часть 2


Главным в ЭП является  семантический аспект, система композиций и номинативности (КНС), ориентированные на систематическое изучение номинативных отношений при построении данных, функций, композиций и дескрипций [36].

КНС задают  специальные языковые системы для описания разнообразных классов функций и  называются  композиционно–номинативными языками функций. Такие системы тесно связаны с алгебрами функций и данных,  построены в семантико–синтаксическом стиле. Они отличается от традиционных систем (моделей программ) теоретико–функциональным подходом, классами однозначных n–арных функций. номинативными отображениями и структурами данных.

Для построения  математически простых и адекватных моделей программ параметрического типа  используется КНС и методы универсальной алгебры, математической логики и теория алгоритмов. Данные в КНС рассматриваются на трех уровнях: абстрактном, булевском и номинативном. Класс номинативных данных обеспечивает построение  именных данных,   многозначных номинативных данных или мульти–именных данных,  задаваемых  рекурсивно.

В рамках ЭП разработаны новые средства [36] для определения систем данных, функций и композиций номинативного типа, имена аргументов которых принадлежат некоторому множеству  имен Z, т.е.  композиция определяется на Z–номинативных

наборах именных функций.

Номинативные данные позволяют задавать структуры данных, которым присущи неоднозначность именования  компонентов типа множества, мультимножества, реляции и т.п.

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

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

Практическая  проверка теоретического аппарата  формализации дедуктивных и ОО БД прошла в ряде экспериментальных проектов в классе манипуляционных  данных  БД заданных в SQL–подобных языках [39].




- Начало -  - Назад -  - Вперед -