Publication: Разработка системы изучения комбинаторных техник редукции аппликативных выражений на основе сервис-ориентированной архитектуры
Дата
2015
Авторы
Ерилин, Н. В.
Journal Title
Journal ISSN
Volume Title
Издатель
Аннотация
Ключевые слова: редукция аппликативных выражений, абстрактная машина, компиляция, ленивые вычисления, метаданные, лямбда-исчисление, комбинаторная логика, система изучения, сервис-ориентированная архитектура, компонент, сервис-комбинатор, аппликативная предструктура. Целью данной работы является разработка технологии проектирования распределенных приложений на основе сервис-ориентированной архитектуры и реализация системы изучения комбинаторных техник редукции аппликативных выражений. В первой главе проводится обзор и анализ проблематики моделирования и редукции аппликативных выражений, способов редукции аппликативных выражений, сравнительный анализ существующих абстрактных машин вычисления аппликативных выражений, существующие подходы и технологии модульной реализации приложений. Во второй главе описываются использованные и разработанные алгоритмы компиляции программного кода в код абстрактной машины, разрабатывается модель компонентной организации системы, приводится разработанная аппликативная предструктура для формирования сервисных объектов системы. В третьей главе приводится описание программной реализации и экспериментальной проверки разработанной системы. Приложения содержат прокомментированные фрагменты исходного кода.
Описание
Уровень образования: специалитет; Код направления/специальности: 010501; Группа: К10-221
Ключевые слова
ВКР , Выпускная квалификационная работа
Цитирование
Ерилин, Н. В. Разработка системы изучения комбинаторных техник редукции аппликативных выражений на основе сервис-ориентированной архитектуры : Выпускная квалификационная работа, специалитет, 010501 / Н. В. Ерилин ; рук. работы Рословцев Владимир Владимирович, 2015