Описано підхід до визначення формальних структур МАНОК-систем з прикладами їх інтерпретації. Аналіз джерел, присвячених побудові ІТНО-систем. Опис схеми побудови ІТНО-систем та їх компонентів. Використання аксіоматичного методу та "гомоморфних моделей".
Аннотация к работе
Міжнародний науково-навчальний центр інформаційних технологій та систем НАН України та МОН України.(МАНОК-проблема)» та зробити висновок про те, що загальним інструментом з підтримки S є МАНОК-системи [2-6], концептуальним субстратом яких слугують моделі спеціального класу, а саме - „Моделі агрегатування навчально-орієнтованого контенту” (МАНОК). Отже, виходячи з КІ-Глушкова [2], необхідним кроком і завданням з побудови S і МАНОК-систем є розроблення підходу до визначення та застосування деякої мінімальної формальної структури (м.ф.с.) для визначення формальних структур МАНОК-систем. Суть першої стратегії „від Абстракції до Реалізації” (стратегія „А-Р”) полягає у виконання наступних кроків: формулювання на базі аксіоматичного методу формалізованої задачі (задач); введення припущень та обмежень у задачу (задачі); запропонувати метод її розвязування; пошук галузей застосування та задач „практична реалізація”; розвязування реальної практичної задачі. Загальною теоретичною базою цього підходу є розроблені [2-4]: концептуальні ідеї побудови МАНОК-систем (КІ-МАНОК() [2]; принципи побудови МАНОК-систем (ІННОВАЦІЙНІСТЬ1-3, ВИЗНАЧЕНІСТЬ1-2, УСВІДОМЛЕННЯ1-2, ІВУ) у формі МАНОК-СЛОТ:ІВУ, у т.ч. основний метод побудови МАНОК-систем (АРІП-метод) [4]; ключові системні композити МАНОК для формального опису ІАК (підкласи МАНОК , , ), які визначено на базі м.ф.с. типу категорія. Перший підхід базується на використанні аксіоматичного методу та категорних формальних структур для формального опису [6]: - концептів абстрактної МАНОК-системи S (слабко-структурована S, замкнена слабко-структурована S, елементарна S, S22 - логічно звязана елементарна S), формального опису відносної S, підсистеми S та МАНОК-середовища; - каркасу формального опису функціональної архітектури МАНОК-систем: опис FA?A - абстрактної функціональної архітектури МАНОК-систем (з м.ф.с типу S22) та її реалізаційної функціональної архітектури FA?A; - формального опису SU - зведеного МАНОК-вузла (з м.ф.с. типу SU-квадрат) МАНОК-середовища; - вербального та формального опису телекомунікаційного науково-освітнього простору SSCI-Edu (з м.ф.с. типу SUSCI-EDU-квадрат).