1
«Методи та засоби комп’ютерного моделювання сценаріїв аналітичної діяльності в системах організаційного управління»
(шифр теми «СЦЕНАРІЙ»)
Науковий керівник роботи
ДОДОНОВ Олександр Георгійович
доктор технічних наук, професор
Київ - 2023
Початок – 2019 Завершення - 2023 |
Код виду науково-технічної діяльності за Кодом програмної класифікації видатків
6541030 (фундаментальні дослідження)
АКТУАЛЬНІСТЬ ТЕМИ ДОСЛІДЖЕННЯ
Обставини, які впливають на розвиток сучасних інформаційних технологій, що вирішують задачі аналітики в СОУ
Обсяг даних, інформації та знань, які потрібні для прийняття збалансованих рішень, збільшується в геометричної прогресії
70% до 80% проектів, пов’язаних з впровадженням складних аналітичних рішень в організаціях – провальні
Процес аналізу даних все більш обмежується в часі
Тенденції сучасного розвитку інформаційних технологій, що вирішують задачі аналітики в СОУ
Ефективність прийняття управлінських рішень напряму залежить від наявності та якості інформації та знань
Накопичення та використання знань про предметну область та накопичений попит вирішення завдань СОУ
Інтелектуалізація програмних систем і за їх використанням процесів прийняття рішень
Структурна алгоритмізація та як наслідок використання сервіс-орієнтованої архітектури при побудові програмних систем
Зрушенням від кастомізації, яка на тяжінні довгого часу була золотим стандартом, в сторону персоналізації
Аналітика повинна бути дієвою - мати змістовне наповнення, бути цілеспрямованою, зокрема надавати засоби моделювання та оптимізації сценаріїв аналізу інформації та розвитку ситуації або процесів
2
Підходи до проектування та ефективного впровадження аналітики в системах організаційного управління
3
Тенденції розвитку інформаційних технологій, що вирішують задачі аналітики, вимагають наукового осмислення та опрацювання, розробки нових архітектурних вирішень, нових та удосконалених підходів до проектування та впровадження програмних систем, спрямованих на підтримку вирішення задач аналітики.
Тому є актуальним і необхідним вирішення науково-технічної проблеми дослідження, формалізації та розробки теоретичних основ та практичних засад комп’ютерного моделювання сценаріїв аналітичної діяльності в різних предметних областях, зокрема при проектуванні систем організаційного управління.
| |
НАУКОВІ ЗАВДАННЯ НДР «СЦЕНАРІЙ»
4
2. Розробити теоретичні засади встановлення співвідношення графічних елементів опису сценарію АнД з описом онтології його предметної області з метою забезпечення можливості проводити семантичний аналіз коректності як логічно-зв’язаних фрагментів сценарію АнД, так і його верифікацію.
3. Дослідити можливості і розвиток математичних моделей і методів побудови сценарію АнД з урахуванням можливих наступних кроків сценарію та на основі виведення за прецедентами, що вже накопичені в результаті попереднього моделювання сценаріїв АнД.
1. Провести аналіз і оцінку сучасного стану і особливостей проблеми дослідження, створення та вдосконалення комп’ютерних систем моделювання багаторівневих сценаріїв АнД, вибір та обґрунтування перспективних підходів до її вирішення з метою визначення та зменшення логічно-зв’язаних помилок і семантичної незв’язаності опису багаторівневих сценаріїв чи їхніх окремих гілок, що призводить до суттєвого зменшення часу моделювання сценаріїв у цілому.
НАУКОВІ ЗАВДАННЯ НДР «СЦЕНАРІЙ» (продовження)
5
5. Розробити алгоритми і програмні засоби комп’ютерного моделювання сценаріїв на основі розроблених та удосконалених моделей (сценарних моделей, моделей опису предметної області в умовах невизначеності, заданих обмежень) і методів побудови та виконання сценаріїв АнД
6. Створити комп’ютерну моделюючу систему (інтегроване програмне інструментальне середовище) для тестування і оцінки запропонованого теоретичного підходу комп’ютерного моделювання сценаріїв АнД, яка ґрунтується на побудованих моделях, методах та алгоритмах моделювання
7. Виконати експериментальну оцінку отриманих теоретичних результатів шляхом імітаційного моделювання
4. Розробити метод виконання сценаріїв аналітичної діяльності на основі Web-сервісів, вибір яких засновано на механізмі порівняння параметрів метаописів Web-сервісів із параметрами функціональних завдань сценарію
АНАЛІЗ ОСТАННІХ ПУБЛІКАЦІЙ ТА ДОСЛІДЖЕНЬ
ОСОБЛИВОСТІ
НАУКОВО-ПРИКЛАДНА ПРОБЛЕМА
Дослідити, формалізувати та розробити теоретичні основи та практичні засади побудови та моделювання сценаріїв аналітичної діяльності в різних предметних областях, зокрема при проектуванні систем організаційного управління
Питанням побудови методології системного аналізу та формування сценаріїв
М.З. Згуровський,. Т. Сааті, Ф. Цвік, В.М. Одріна, С.С. Картавова, Т. Річі, Дж. Х. Лінстон та М.Туроф, Т. Гордон, О. Хелмер, Н. Долкі, Х. Сакман та інші.
Питання розробки та використання підходів до моделювання сценаріїв
Морозов А.О., Палагін О.В., ДодоновО.Г., Самойлов В.Д., Ланде Д.В., Загоруйко Н.Г., Рабчевский Е.А., Рубашкин В.Ш., Bart Kosko, Lotfi Aliasker Zadeh, T. Gruber, S. Staab, R. Studer, N.F. Noy, A. Gomez-Perez., Т. Грубер, Дж. Солтон, А. Гомес-Пересат та інші.
Проблема побудови та виконання сценаріїв
Існуючі інструментальні рішення і платформи побудови сценаріїв: RapidMiner, KNIME, Orange, Weka, Alteryx, BM Cloud service models, Microsoft Azure, Google Cloud, Oracle Cloud, Amazon Web Services.
Не використовуються або використовуються не всі можливості онтології, особливо під час моделювання функціональності сценаріїв: виведення нових знань на основі онтології; критерії наповнення онтології та інші.
Побудова сценарію базується лише на візуальному представленні моделі процесів обробки даних, правила логічно-зв’язаних переходів виконання сценаріїв жорстко зашиті в програмному коді, не використовують сучасні інтелектуальні методи при побудові сценаріїв АнД.
6
Систематичний збір та обробка інформації для підтримки процесу прийняття рішення за рахунок пошуку нових закономірностей, прогнозування можливих варіантів розвитку подій та ситуацій в майбутньому
7
Структура аналітичної діяльності в СОУ
Загальна архітектура АС, орієнтованої на управління процесами багаторівневої обробки даних аналітичних досліджень
Процеси управління аналітичною діяльністю
Сценарій аналітичної діяльності
Сценарій аналітичної діяльності – виконання послідовності окремих дій збору, обробки та аналізу інформації для досягнення визначених цілей з урахуванням заданих обмежень та різних можливих варіантів розвитку подій, на які впливають як зовнішні, так і внутрішні фактори. Сценарій виконується на основі залучення функціональних сервісів, кожен з яких пов’язаний із різними операціями.
Граф дій
Гіпотетичне зображення сценарію
10
Багаторівневе моделювання сценаріїв АнД
Послідовна побудова моделей із подальшою їх деталізацією на кожному наступному рівні.
11
Структура концептуальної моделі
програмних засобів моделювання сценаріїв АнД
Концептуальна модель програмних засобів моделювання сценаріїв АнД у відповідності із модельно-орієнтованим підходом розглядається як взаємопов’язана послідовність моделей, що забезпечують реалізацію функції побудови та виконання сценаріїв АнД
12
МОДЕЛЬ СЦЕНАРІЮ В НОТАЦІЇ BPMN
МОДЕЛЬ СЦЕНАРІЮ НА ОСНОВІ ОНТОЛОГІЇ (OWL)
13
Теоретичні засади семантичного моделювання сценаріїв
14
Модель взаємодії між конструкціями графічної нотації BPMN та онтологією (OWL) сценарію
Умовою такої взаємодії є підтримка співвідношення 1:1 між концептами OWL онтології та примітивами BPMN нотації
Ієрархія онтології ПрО для опису співвідношення між концептами OWL-онтології і примітивами моделі сценарію в нотації BPMN
15
Основні елементи нотації BPMN 2.0 – для процесного моделювання сценаріїв АнД
Event – Подія |
Activity – Діяльність |
Gateway – Шлюз (логічні оператори) |
|
Sequence flow – Потік управління |
Message Flow – потік повідомлення |
Association – Асоціація |
Pool – Пул |
Lane – Доріжка |
Data Object – Об'єкт даних |
Data Store – База даних |
Message – повідомлення |
Group – Група |
Text Annotation – Текстові анотації |
Візуальний редактор BizAgi Process Modeler
Методологія визначення глибини і масштабу моделі сценарію в парадигмі процесного моделювання
1. Що є початковими умовами функціонування багаторівневого сценарію та як сформульована кінцева мета АнД?
2. Які вихідні документи або інформація є результатом виконання сценарію АнД в цілому або його складових частин?
3. Які учасники (participant), процеси та підпроцеси аналізу даних мають бути залучені для виконання багаторівневого сценарію АнД, та які ролі виконують учасники сценарію – фахівці з питань ПрО, аналітики даних, керівники тощо?
4. Які процедури (функції, завдання) та в якої послідовності необхідно виконати учасникам (в межах їх компетенцій та повноважень) для отримання бажаного кінцевого результату сценарію в цілому та окремих підпроцесів обробки різноманітних даних?
5. Які механізми взаємодії, управління та синхронізації подій умов переходів мають бути запропоновані між виконавцями різного рівню та сценарію АнД в межах їх ролей та повноважень?
6. Які нормативні документи, інформація або інші ресурси необхідні для виконання кожного підпроцесу або процедури сценарію?
7. Які параметри потрібні для визначення умов виконання окремих процедур або умов переходів між кроками сценарію у разі настання таких ?
8. Яка документація регламентує коректне виконання процедур сценарію в цілому?
Формування сценарію АнД в графічному та виконавчому вигляді в технології процесного моделювання
18
18
Технологія формування сценарію аналітичної діяльності на базі нотації опису бізнес- процесів –BPMN 2.0
XPDL (XML Process Definition Language) – мова та формат обміну даними між BPM–системами
Графічна модель сценарію в нотації BPNN
19
<owl:Class rdf:about="http://www.reiter.at/ontology/generated#document">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.reiter.at/ontology/generated#bpmn2:definitions"/>
<owl:qualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:qualifiedCardinality>
<owl:onClass rdf:resource="http://www.reiter.at/ontology/generated#bpmn2:definitions"/>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class> <owl:Class rdf:about="http://www.reiter.at/ontology/generated#bpmn2:definitions">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.reiter.at/ontology/generated#exporter"/>
<owl:qualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:qualifiedCardinality>
<owl:onDataRange rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class> <owl:Class rdf:about="http://www.reiter.at/ontology/generated#bpmn2:definitions">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.reiter.at/ontology/generated#exporterVersion"/>
<owl:qualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:qualifiedCardinality>
<owl:onDataRange rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class> <owl:Class
Фрагмент тексту OWL-моделі сценарію (конвертований з BPMN-моделі в технології BPMN-to-S-BPM-Ontology)
Ресурс URL:https://github.com/reiterma13/
20
Семантичне дослідження моделі сценарію засобами редактора онтології Protégé 5
Виявлення невідповідностей та семантичних розривів сценарію
Таксономія класів моделі сценарію
Дослідження зв'язаності класа <BPMNEdge> с дочірніми класами
Приклад застосування механізму зв'язування екземпляра класа з призначенням йому унікального текстового ідентифікатора у редакторі Protégé 5
8
21
Критерії оцінки результатів конвертації моделі BPMN в OWL–модель сценарію
9
Залучаючи Web-технології, розробник сценарію аналітики має можливість детальніше досліджувати OWL-моделі, а також проводити семантичний аналіз коректності логічно-пов'язаних фрагментів сценарію (особливо умов переходів між кроками сценарію) використовуючи інструментарій редакторів онтології та семантичного аналізу
Забезпечення семантичної сумісності процесів
при моделюванні переходів між кроками сценарію АнД
22
Онтологічна модель семантичного медіатора базується на функціях забезпечення сумісності, які включають:
онтологічні моделі ПрО сценаріїв для підтримки процесів семантичного посередництва при вирішенні розбіжностей, які виникають у переходах між кроками виконання складного сценарію АнД.
Місце посередника при розв’язанні розбіжностей у складному переході
=
=
Умови взаємодії процесів
де
Шляхи вирішення невідповідностей при взаємодії кроків сценарію
Основні кроки інтелектуального методу визначення наступних подій сценарію АнД на основі методів машинного навчання
24
Орієнтований граф можливих варіантів дій складного сценарію та варіант певної послідовності дій
25
Математична модель обчислення розподілу значень можливих подій сценарію АнД
26
Необхідна та достатня умова стійкості аналітичного процесу, який відображає послідовності дій аналітика щодо досягнення мети дослідження і полягає в наявності знань про процес аналітичної діяльності та наявності альтернативних маршрутів передачі інформації
Обчислення вірогідності досягнення кожного з можливих результатів приналежності події до певного розбиття графу
Обчислення вірогідності досягнення кожного з можливих результатів приналежності події до кореневого розподілу подій
Обчислення ентропії корисності інформації переходу– різниці між поточною ентропією і середньозваженої ентропією відповідних груп розподілу подій
де – множина вузлів графа;
– булева функція, що набуває значення 1, якщо вузол дій приймає участь у діях користувача і 0 – в іншому випадку;
– поточний час дій у вузлів обробки аналітичних даних.
Метод виконання сценаріїв АнД
на основі різноманітних Web-сервісів
Моделювання сценарію аналітичної діяльності у вигляді послідовності пов'язаних сервісів, які реалізують завдання сценарію
Сценарій – це процес виконання завдання користувача на основі залучення функціональних сервісів, кожен з яких пов’язаний із різними операціями в межах досягнення загальної мети дослідження АнД.
UTi - завдання i-го сценарію;
Ti, - назва завдання i-го сценарію;
MDip – мета-опис завдання
i-го сценарію;
Sck - сценарій, який характеризується певною послідовністю сервісів;
Sl – l-ий сервіс;
Tl - назва l-го сервісу;
MDlq - опис l-го сервісу.
27
Sc={ UsTask1, UsTask2,…, UsTaski }
Основні етапи методу:
Метод виконання сценаріїв АнД
на основі різноманітних Web-сервісів
28
29
Схема взаємодії компонентів загального сценарію вирішення завдання користувача та веб-сервісів
Автоматизована побудова сценарію АнД на основі бібліотеки сценаріїв (прецедентів)
30
БД прецедентів
Формування моделі нечітких прецедентів
(Fuzzy OWL)
Вхідні дані для аналізу
Онтологія ПрО в OWL-форматі
Обов’язкові класи
CB_CASE
CBR_DESCRIPTION
CBR_INDEX
Формування умов запиту (прецеденту) для аналізу
вхідних даних
Розрахунок функції наближення розглядаємих даних умовам запиту
(прецеденту)
Оцінка відповідності знайденого рішення умовам запиту
Запис знайденого рішення в БД прецедентів
Формування нових умов запиту для аналізу
Не відповідає
Відповідає
Алгоритм побудови сценарію по прецедентах
1. Рішення щодо вибору прецеденту обираються за результатами зіставлення прецеденту із вхідним набором даних, причому вибір засновується на основі знань
2. Для вибору найближчого прецеденту, який відповідає вхідним умовам, використовується функція приналежності
3. Правила логічного виводу - шаблони, які описують умови запиту для аналізу вхідних даних і розраховують конкретні значення функції приналежності до прецеденту
4. Шаблон формується на підставі певного уявлення користувача про аналогію між умовами нового запиту до вхідних даних і знаннями про накопичені прецеденти.
5. Функція приналежності розраховує ймовірність наближення вхідного набору даних до прецеденту на основі нечіткої логіки (приналежності до цього прецеденту).
31
Знання-орієнтована методологія комп’ютерного моделювання сценаріїв прийняття рішень в багаторівневих СОУ
Візуальна парадигма моделювання BPMN 2.0 із залученням технології Knowledge Graph NEO4J + Cypher та OWL-SPARQL для семантичного аналізу моделі сценарію (знаходження та усунення суперечностей та неузгодженостей між кроками складного сценарію)
9
32
Взаємодія знання-орієнтованих технологій при моделюванні сценаріїв прийняття рішень в багаторівневих СОУ
BPMN-модель сценарію прийняття рішень для імітаційного моделювання в середовищі МК
10
Методологія сценарного аналізу при моделюванні управлінських рішень методом Байєса
33
11
Методологія візуального моделювання процесів обробки даних OSINT на платформі RapidMiner Studio
Структура системи комп'ютерного моделювання сценаріїв аналітичної діяльності
35
Архітектура системи комп'ютерного модулювання сценаріїв на основі сервіс-орієнтованої архітектури
36
Математична модель обчислення розподілу значень можливих подій сценарію АнД
37
Необхідна та достатня умова стійкості аналітичного процесу, який відображає послідовності дій аналітика щодо досягнення мети дослідження і полягає в наявності знань про процес аналітичної діяльності та наявності альтернативних маршрутів передачі інформації
Обчислення вірогідності досягнення кожного з можливих результатів приналежності події до певного розбиття графу
Обчислення вірогідності досягнення кожного з можливих результатів приналежності події до кореневого розподілу подій
Обчислення ентропії корисності інформації переходу– різниці між поточною ентропією і середньозваженої ентропією відповідних груп розподілу подій
де – множина вузлів графа;
– булева функція, що набуває значення 1, якщо вузол дій приймає участь у діях користувача і 0 – в іншому випадку;
– поточний час дій у вузлів обробки аналітичних даних.
Програмна платформа (Framework) для інтеграції різнорідних інструментів моделювання сценаріїв аналітичної діяльності
38
BizAgi Process Modeler
Редактор онтологій – Protégé 5
Конвертор перетворення BPMN–моделі до OWL-моделі сценарію
Взаємодія технологій при моделюванні сценаріїв аналітичної діяльності
RapidMiner Studio
Виконувана модель сценарію
Формування
сценарію
Аналіз
моделі
Моделювання
підпроцесів обробки даних
Оптимізація сценаріїв інформаційного впливу на основі онтологічної моделі
Коефіцієнт розподілу інформації між різними рівнями онтології визначає наскільки добре знання згруповані в різні категорії. Для блоку k:
,
41
Теоретичний підхід до комп’ютерного моделювання багаторівневих сценаріїв АнД, оснований на поєднанні переваг візуального моделювання BPMN-нотації і семантичного аналізу на базі онтологічної моделі, та подальшого автоматичного перетворення у виконавче програмне середовище.
Метод взаємного конвертування BPMN-моделі в OWL-модель, за рахунок забезпечення співвідношення між категоріями графічних примітивів BPMN до відповідних класів онтології і зв’язування їх з властивостями та відношеннями між елементами представленими мовою XML. Це дозволяє проводити семантичний аналіз коректності логічно-зв’язаних фрагментів сценарію АнД і його верифікацію.
Інформаційна технологія взаємного конвертування BPMN-моделі в OWL-модель сценарію АнД, що дозволяє перетворювати метадані опису сценарію АнД в базі знань, накопичуючи знання для побудови нових сценаріїв АнД на базі вже існуючих знань.
Математична модель обчислення розподілу значень можливих подій сценарію, на основі застосування методів машинного навчання деревами класифікації і регресії з використанням комбінації метрик оцінок ефективності. Це дає можливість значно підвищити точність розбиття графа складного сценарію на відповідні гілки при обчисленні ймовірності наступного кроку сценарію.
Удосконалення методу реалізації виконавчих сценаріїв АнД на основі веб-сервісів шляхом порівняння параметрів сервісів з параметрами функціональних завдань для динамічного формування послідовності веб-сервісів при вирішенні завдань аналітики.
Основні результати виконання НДР «Сценарій»
42
Теоретичний підхід до комп’ютерного моделювання багаторівневих сценаріїв АнД, оснований на поєднанні переваг візуального моделювання BPMN-нотації і семантичного аналізу на базі онтологічної моделі, та подальшого автоматичного перетворення у виконавче програмне середовище.
Метод взаємного конвертування BPMN-моделі в OWL-модель, за рахунок забезпечення співвідношення між категоріями графічних примітивів BPMN до відповідних класів онтології і зв’язування їх з властивостями та відношеннями між елементами представленими мовою XML. Це дозволяє проводити семантичний аналіз коректності логічно-зв’язаних фрагментів сценарію АнД і його верифікацію.
Інформаційна технологія взаємного конвертування BPMN-моделі в OWL-модель сценарію АнД, що дозволяє перетворювати метадані опису сценарію АнД в базі знань, накопичуючи знання для побудови нових сценаріїв АнД на базі вже існуючих знань.
Математична модель обчислення розподілу значень можливих подій сценарію, на основі застосування методів машинного навчання деревами класифікації і регресії з використанням комбінації метрик оцінок ефективності. Це дає можливість значно підвищити точність розбиття графа складного сценарію на відповідні гілки при обчисленні ймовірності наступного кроку сценарію.
Удосконалення методу реалізації виконавчих сценаріїв АнД на основі веб-сервісів шляхом порівняння параметрів сервісів з параметрами функціональних завдань для динамічного формування послідовності веб-сервісів при вирішенні завдань аналітики.
Основні результати виконання НДР «Сценарій»
43
За результатами досліджень захищено дві дисертації за спеціальністю 01.05.02 – «Математичне моделювання та обчислювальні методи» :
Коваль О.В. на здобуття наукового ступеня д.т.н. «Методи та засоби комп’ютерного моделювання сценаріїв аналітичної діяльності» - Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України, Київ, 2021р. 440 с.
Бойченко А.В. на здобуття наукового ступеня к.т.н. «Формування сценаріїв інформаційних впливів у системах підтримки прийняття управлінських рішень» НТУУ «КПІ» імені Ігоря Сікорського» Міністерство освіти і науки України. Київ 2021, 171 с.
Результати НДР «Сценарій» впровадженні в навчальний процес при підготовці студентів НТУУ «КПІ» імені Ігоря Сікорського» за спеціальністю 121 – Інженерія програмного забезпечення за освітньою програмою «Інженерія програмного забезпечення інтелектуальних кібер-фізичних систем», при викладанні навчальних дисциплін «Інженерія даних та знань», «Технології інформаційного пошуку», «Модельно-орієнтоване проектування програмних систем» та при написанні дипломних робіт та магістерських дисертацій.
Наукові результати, отримані при виконанні НДР «СЦЕНАРІЙ», представлені у двох монографіях, 42 наукових статях, доповідались на багатьох конференціях, включаючи ІЕЕЕ.
Розроблення і дослідження методів та комп’ютерних технології сценарного аналізу каскадних ефектів пов’язаних критичних інфраструктур
затверджена Бюро відділення інформатики у 2023 році
Список публікацій за темою «СЦЕНАРІЙ» за станом на 2022 рік
НДР
44
Додонов А.Г., Сенченко В.Р., Коваль А.В. Аналитика и знания в компьютерных системах. Киев: ИПРИ НАН Украины, «КПИ имени Игоря Сикорского», 2020. 315 с.
Додонов О.Г., Коваль О.В, Глоба Л.С, Бойко Ю.Д. Комп’ютерне моделювання інформаційно-аналітичних систем. Монографія. Київ: ІПРІ НАН України, 2017. 239 с.
ДЯКУЮ ЗА УВАГУ!
45