KPI Science News (Mar 2020)

КОНЦЕПТУАЛЬНА МОДЕЛЬ ТЕХНОЛОГІЧНОГО СЕРЕДОВИЩА ПРОГРАМУВАННЯ

  • Ihor V. Redko,
  • Petro O. Yahanov

DOI
https://doi.org/10.20535/kpi-sn.2020.1.197953
Journal volume & issue
no. 1

Abstract

Read online

Проблематика. Зміст розглядуваної концептуальної моделі розкритий через поняття "концепт", "монада" та засадниче для технологічного середовища програмування концептомонадне взаємодоповнення. Концептомонадне середовище є платформою, що реально імплементує розуміння програмування як суб’єкт-об’єктну продуктивну діяльність – взаємодоповнення процесу програмотворення і його наслідку в їх причинно-наслідковому зв’язку з домінуванням саме процесу. Це закладає основу для технологізації галузі та створення адаптивних і гнучких суб’єктоорієнтованих систем програмування. Можливості концептомонадної платформи продемонстровано на прикладі однієї з можливих її імплементацій – редукційної технології програмування. Мета дослідження. Подальший розвиток концептомонадних засад суб’єкт-об’єктного технологічного середовища, націлений на створення адаптивних і гнучких систем програмування. Методика реалізації. Методи введення, виключення абстракції та прагматико-обумовленої типізації, метод концептомонадної релятивізації, метод редукцій, метод програмних алгебр. Результати дослідження. Розвинуто понятійну систему концептомонадного технологічного середовища та створено на цій основі продуктивну модель редукційного середовища програмування. Запропоновано концептомонадну модель відкрито-замкненого середовища програмування. Вперше редукційні моделі програм та редукційні методи програмування розглянуті як прагматико-обумовлена конкретизація цього середовища. Показано, що в рамках отриманої концептомонадної системи коректно ставляться та вирішуються засадничі для сучасного програмування задачі та проблеми. Висновки. Будь-яка сучасна інформаційно-технологічна система повинна не стільки бути орієнтована на нотацію одержуваних рішень, скільки підтримувати (забезпечувати) продуктивну діяльність суб’єкта для їх отримання. Ефективна розробка таких систем можлива в рамках концептомонадного середовища, що володіє розвиненими засобами адаптації, орієнтованими на врахування активної ролі суб’єкта програмотворення.

Keywords