Проектирование сложных проблемно-ориентированных комплексов на основе модели траекторий вычислительных процессов

Abstract

Выполнен анализ известных современных технологий разработки проблемно-ориентированных программных комплексов. Обоснована необходимость создания новых методов и технологий разработки для целого класса задач, обеспечение гарантоспособности которых – трудоемкая задача из-за сложности внутренней организации процесса поиска решений. Рассмотрена теоретическая возможность построения таких систем на основе модели вычислительных процессов, которая базируется на идее переноса описания процесса поиска решения во внешний источник информации – базу данных. Показано, что в таком случае разработка проблемно-ориентированного профессионального языка позволит привлечь специалиста в данной прикладной области к процессу разработки программного обеспечения.

Виконано аналіз відомих сучасних технологій розробки проблемно-орієнтованих програмних комплексів. Обґрунтовано необхідність створення нових методів та технологій розробки для цілого класу завдань, забезпечення гарантоспроможності яких – трудомістке завдання через складність внутрішньої організації процесу пошуку рішень. Розглянуто теоретичну можливість побудови таких систем на основі моделі обчислювальних процесів, яка базується на ідеї перенесення опису процесу пошуку рішення у зовнішнє джерело інформації – базу даних. Показано, що в такому випадку розробка проблемно-орієнтованої професійної мови дозволить залучити спеціаліста в цій прикладній галузі до процесу розробки програмного забезпечення.