Розглянуто проблематику концептуального моделювання інтелектуальних програмних систем, основні терміни та історію розвитку концептуального моделювання. Детально проаналізовано теоретичні основи концептуального моделювання, методи моделювання як статичної, так і динамічної структури предметної області. Особливу увагу звернуто на активні та виконувальні концептуальні моделі, специфікації їхньої взаємодії. Відображено застосування виконувальних моделей для розв'язання задач у різних проблемних областях. Розглянуто інструментальні засоби для виконання концептуального моделювання. Монографія призначена для студентів, аспірантів та наукових працівників галузі інформаційних технологій. ЗМІСТ ПЕРЕДМОВА.........................................................................................................3 ЧАСТИНА 1. ЗАГАЛЬНІ АСПЕКТИ ТА ІСТОРІЯ РОЗВИТКУ КОНЦЕПТУАЛЬНОГО МОДЕЛЮВАННЯ.......................................................7 1.1. ГОЛОВНІ ПОНЯТТЯ ТА ЗАВДАННЯ КОНЦЕПТУАЛЬНОГО МОДЕЛЮВАННЯ.................................................................................................8 1.1.1. Передісторія: виникнення концептуального моделювання………........8 1.1.2. Основні визначення концептуального моделювання...............................9 1.1.3. Завдання концептуального моделювання.................................................12 1.1.4. Різновиди концептуального моделювання та їхні концептуальні моделі………………………………………………………………………….....13 1.2. Особливості когнітивних процесів людини-експерта як складової частини системи концептуального моделювання..............................................19 1.2.1. Когнітивна діяльність людини як предмет наукових досліджень……..19 1.2.2. Багаторівнева модель когнітивного опрацювання інформації людиною.................................................................................................................21 1.2.3. Концепт як частина концептуальної схеми..............................................26 1.2.4. Когнітивна психологія про способи побудови та використання ментальних моделей..............................................................................................31 1.2.5. Обсяг уваги та вимоги до складності концептуальної моделі...............36 1.3. КОНЦЕПТУАЛЬНЕ МОДЕЛЮВАННЯ ТА ІНТЕЛЕКТУАЛЬНІ ПРОГРАМНІ СИСТЕМИ БІЗНЕС-АНАЛІТИКИ..............................................38 1.3.1. Моделювання бізнес-процесів та бізнес-аналітика..................................38 1.3.2. Концептуальне моделювання та еволюція архітектур програмних систем.....................................................................................................................47 1.3.3. Концептуальне моделювання та семантично-орієнтовані інтелектуальні системи.........................................................................................59 1.3.4. Архітектурні принципи побудови керованої моделями інтелектуальної програмної системи..............................................................................................72 1.4. Історія та перспективи розвитку концептуального моделювання програмних систем...............................................................................................76 1.4.1. Історія розвитку концептуального моделювання....................................76 1.4.2. Сучасний стан та перспективи розвитку концептуального моделювання…………………………………………………………………..87 1.4.3. Історична ретроспектива процесів та тенденцій розвитку концептуального моделювання.......................................................................93 ЧАСТИНА 2. ТЕОРЕТИЧНІ ОСНОВИ КОНЦЕПТУАЛЬНОГО МОДЕЛЮВАННЯ............................................................................................97 2.1. Концептуальне моделювання семантичної структури предметної області................................................................................................................98 2.1.1. Онтологія предметної області та вимоги до неї..................................98 2.1.2. Сутності................................................................................................106 2.1.3. Відношення...........................................................................................116 2.1.4. Продукційні правила та похідні сутності...........................................140 2.1.5. Обмеження.............................................................................................150 2.2. Концептуальне моделювання динамічних аспектів предметної області………………………………………………………………………..173 2.2.1. Подання динаміки предметної області як послідовності станів предметної області............................................................................................173 2.2.2. Часові онтології.......................................................................................185 2.3. Теоретичні аспекти активного та виконувального концептуального моделювання......................................................................................................199 2.3.1. Особливості подання предметної області у системах активного та виконувального концептуального моделювання............................................199 2.3.2. Архітектурні принципи побудови та подання знань у системах активного та виконувального концептуального моделювання.....................202 2.3.3. Концептуальні виконувальні моделі та їхня взаємодія........................206 2.3.4. Мета моделі та онтологія задач моделей...............................................209 2.3.5. Використання моделей для менеджменту складних онтологій….......212 2.3.6. Опрацювання контексту в системах виконувального концептуального моделювання.......................................................................................................217 ЧАСТИНА 3. ЗАСТОСУВАННЯ ВИКОНУВАЛЬНИХ СИСТЕМ КОНЦЕПТУАЛЬНОГО МОДЕЛЮВАННЯ....................................................235 3.1. Моделі та методи їх застосування.............................................................236 3.2. Моделювання бізнес-процесів та систем бізнес-аналітики.....................237 3.2.1. Системи бізнес-аналітики на основі формалізованих знань експертів..............................................................................................................238 3.2.2. Використання концептуальних моделей у системах керування доступом...............................................................................................................260 3.2.3. Побудова систем автоматизованого тестування програмних продуктів на базі моделей....................................................................................................300 3.2.4. Застосування моделей для розв'язання задач валідації та верифікації………………………………………………………………………318 3.3. Керовані моделями сервіси програмних систем.......................................332 3.3.1. Архітектура та принципи побудови керованих моделями сервісів......332 3.3.2. Керовані моделями сервіси завантаження.............................................346 3.3.3. Використання моделей для побудови туристичних сервісів...............354 3.4. Використання концептуальних моделей для керування роботою пристроїв.............................................................................................................379 3.4.1. Підходи до побудови адаптивних комп'ютерних систем....................380 3.4.2. Моделі процесорів і пристроїв та їхнє використання в інтелектуальній системі.................................................................................................................385 3.4.3. Структура інтелектуальної системи моделювання на рівні пристроїв……………………………………………………………………..…387 3.5. Інструментальні засоби моделювання.......................................................389 3.5.1. Сценарії використання системи моделювання.......................................389 3.5.2. Подання концептуальних моделей у системі моделювання.................391 3.5.3. Опрацювання концептуальних моделей системою моделювання.......395 3.5.4. Створення та модифікація моделей.........................................................401 Висновки..............................................................................................................405 Скорочення..........................................................................................................406 Список літератури...............................................................................................407