КОНЦЕПЦІЯ ПОБУДОВИ БІБЛІОТЕКИ ЗАДАЧ ТА РІШЕНЬ

Анотація

У статті розроблено концепцію побудови бібліотеки задач та їхніх розв’язків у вигляді обчислювальних процесів (ОП) і мереж Петрі (МП) з попереднім перетворенням ОП у МП. Перетворення охоплює виділення макрооперацій (МО) із ОП у результаті їхнього аналізу, побудову МП і їхніх фрагментів як моделей ОП і МО, а також моделювання МП і їхніх фрагментів. Пропонуються архітектура, структура та інтерфейс бібліотеки. Обчислювальний процес – послідовність упорядкованих у часі операцій і процедур різного ступеня складності. Безліч МП, як і безліч задач, для яких МП є рішеннями, розбивається на класи та підкласи. До класу входять задачі «Комбінаторні», «Лінійні алгебраїчні рівняння» тощо; до класу «Комбінаторні» входять підкласи задач «Сортування», «Пошук», «Множини», «Графи» тощо. Макрооперацією називатимемо фрагмент ОП, що являє собою функціонально закінчену обчислювальну конструкцію. МО можуть мати різний рівень складності, починаючи з елементарного; вони можуть бути збудовані ієрархічно. Мережа Петрі – дводольний граф із двома взаємопов’язаними об’єктами: подія-умова, процес-ресурс тощо. Фрагменти МП є моделями МО. Компонентами бібліотеки є вузли дерева, доповнені файлами їхніх словесних описів, побудованих за певними правилами. Архітектура, структура, інтерфейс та операції бібліотеки забезпечують зручне управління, редагування та розширення знань про обчислювальні процеси та макрооперації, роблячи бібліотеку відкритою для подальших досліджень і розвитку розробником. Користувачеві доступні всі файли, але без права редагування. У роботі наведено приклад первинного заповнення бібліотеки для задачі «Сортування».