Буров Євген Вікторович. Методи та засоби побудови програмних систем на основі онтологічних моделей задач : Буров Евгений Викторович. Методы и средства построения программных систем на основе онтологических моделей задач

Краткое описание

Буров Євген Вікторович. Методи та засоби побудови програмних систем на основі онтологічних моделей задач.- Дисертація д-ра техн. наук: 01.05.03, Нац. ун-т "Львів. політехніка". - Львів, 2015.- 340 с.

Міністерство освіти і науки України
Національний університет “Львівська політехніка”

На правах рукопису
Буров Євген Вікторович
УДК 004.652.4
Методи та засоби побудови програмних систем на основі онтологічних моделей задач
Спеціальність 01.05.03 – математичне та програмне забезпечення обчислювальних машин і систем
Дисертація на здобуття наукового ступеня
доктора технічних наук
Науковий консультант:
д.т.н,, професор Пасічник Володимир Володимирович

Зміст
Зміст 2
Перелік умовних скорочень 9
Список рисунків 11
Список таблиць 15
Вступ 16
Розділ 1. Аналіз методів, процесів та технологій побудови та функціювання програмних систем 25
1.1. Тенденції розвитку програмних систем та проблеми їх створення та експлуатації 25
1.2. Багаторівнева модель програмної системи 29
1.3. Бізнес-процеси та бізнес-аналітика – джерело вимог до програмної системи 34
1.3.1. Головні поняття моделювання бізнес-процесів 34
1.3.2. Менеджмент бізнес-процесів 36
1.3.3. Мови та засоби побудови бізнес-моделей 37
1.3.4. Бізнес-аналітика та керування бізнес-системами 40
1.4. Аналіз методів побудови, технологій та архітектур програмних систем 41
1.4.1. Невирішені проблеми та задачі галузі побудови програмних систем 41
1.4.2. Зростання рівня абстрагування програмних конструкцій у процесі еволюції архітектур програмних систем 43
1.4.3. Спеціалізація компонент, розподіл та інкапсуляція функцій в процесі еволюції архітектур програмних систем 45
1.4.4. Побудова програмних систем на основі моделей 47
1.5. Висновки до розділу 51
Розділ 2. Теоретичні засади подання та опрацювання знань про предметну область в програмних системах на основі онтологічних моделей задач 54
2.1. Визначення способу подання знань у системі 54
2.1.1. Рівні організації знань про предметну область 54
2.1.2. Використання декларативних підходів до подання знань в інтелектуальних системах 59
2.1.3. Онтології задач та їх використання при моделюванні процесів вирішення задач у програмних системах 62
2.1.4. Проектування програмних систем на основі схем 63
2.1.5. Поєднання онтологічного та схемного підходів для подання знань у системі 65
2.1.6. Математична модель подання знань 66
2.1.7. Мета моделі та онтологія задач моделей 73
2.2. Визначення контексту у програмних системах на базі онтологічних моделей задач 75
2.2.1. Загальна характеристика поняття контексту 75
2.2.2. Формальне визначення контексту 79
2.3. Використання моделей задач для менеджменту складних онтологій 82
2.3.1. Задачі менеджменту онтологій та способи їх вирішення 82
2.3.2. Використання моделей задач для створення онтологій 86
2.3.3. Модифікація онтологій з використанням моделей задач 87
2.3.4. Відслідковування походження елементів онтології 88
2.3.5. Визначення якості та валідація онтологіїі 90
2.4. Висновки до розділу 91
Розділ 3. Архітектурні принципи побудови та функціювання програмної системи на основі онтологічних моделей задач 93
3.1. Структура та принципи опрацювання знань у програмній системі на основі онтологічних моделей задач 93
3.1.1. Структура системи опрацювання знань 93
3.1.2. Принцип інтерпретації онтологічних моделей задач в програмній системі 98
3.1.3. Методи організації виконання та взаємодії онтологічних моделей задач 101
3.1.4. Опрацювання контексту в процесі взаємодії задач 107
3.2. Принципи та методи багаторівневого онтологічного моделювання задач в програмній системі 114
3.2.1. Принцип багаторівневого онтологічного моделювання задач у програмній системі 114
3.2.2. Класифікації моделей задач 118
3.2.3. Онтологічне моделювання бізнес-процесів та систем бізнес-аналітики 119
3.2.4. Побудова сервісів програмних систем на основі онтологічних моделей задач 129
3.2.5. Використання моделей задач для керування роботою пристроїв 140
3.3. Висновки до розділу 146
Розділ 4. Методи вирішення задач у програмних системах на основі онтологічних моделей 148
4.1. Застосування онтологічних моделей задач у програмних системах моделювання бізнес-процесів 148
4.1.1. Проблематика моделювання бізнес-процесів для інтелектуальних підприємств 148
4.1.2. Моделювання бізнес-процесів на основі моделей задач 150
4.1.3. Модель бізнес-операції 153
4.1.4. Модель операції прийняття рішення 155
4.2. Побудова онтології на основі аналізу задач галузі тестування програмного забезпечення 156
4.2.1. Загальна характеристика задач галузі тестування програмного забезпечення та методів їх вирішення 156
4.2.2. Процес побудови онтології тестування програмних продуктів 159
4.2.3. Онтологія галузі тестування програмного забезпечення 161
4.3. Побудова систем автоматизованого тестування програмних продуктів з використанням моделей задач 163
4.3.1. Загальна характеристика процесу та задач автоматизованого тестування 163
4.3.2. Архітектура системи автоматизованого тестування на основі моделей задач 165
4.3.3. Формальна специфікація алгоритмічної моделі 166
4.3.4. Сутності та моделі програмної системи автоматизованого тестування на основі онтологічних моделей 169
4.3.5. Подання алгоритмічної моделі на мові XML 172
4.3.6. Програмна реалізація інтелектуальної системи автоматизованого тестування 173
4.4. Системи керування доступом до інформаційних ресурсів на базі моделей задач 174
4.4.1. Аналіз існуючих методів та моделей керування доступом до ресурсів програмної системи 174
4.4.2. Метод керування доступом до ресурсів на базі онтологічних моделей задач 181
4.4.3. Формальна специфікація ресурсної моделі 187
4.4.4. Мова подання ресурсної моделі 189
4.5. Використання моделей задач у системах підтримки прийняття рішень для валідації моделей 189
4.5.1. Загальна характеристика задачі підтримки прийняття рішень методом консенсусного оцінювання 189
4.5.2. Побудова моделей задач для верифікації моделей підтримки прийняття рішень 191
4.5.3. Ієрархія моделей валідації 192
4.5.4. Організація підтримки та супроводу процесу валідації моделей 195
4.6. Програмні сервіси на основі моделей задач 197
4.6.1. Структура та принципи побудови сервісу завантаження файлів 197
4.6.2. Використання онтологічних моделей задач для побудови туристичних сервісів 204
4.7. Висновки до розділу 224
Розділ 5. Інструментальні засоби для побудови та моделювання програмних систем на основі онтологічних моделей задач 227
5.1. Сценарії використання системи моделювання 227
5.2. Розробка структур та форматів даних для подання та опрацювання моделей задач 228
5.2.1. Аналіз існу ючих мов опису даних та вибір підходу до розробки засобів подання та опрацювання онтологічних моделей задач 228
5.2.2. Сфери застосування мови опису моделей 233
5.2.3. Формат даних для подання онтологій та моделей 235
5.2.4. Подання фактів та факт-моделей 238
5.2.5. Формати даних для взаємодії з сервісами моделювання 238
5.3. Прототип інструментального засобу для створення та моделювання програмних систем на основі онтологічних моделей задач 241
5.3.1. Принципи побудови, головні функції та архітектура інструментального засобу 241
5.3.2. Функціональні можливості редактора онтологій 243
5.3.3. Створення екземплярів сутностей з використанням редактора фактів 249
5.3.4. Функціональні можливості редактора моделей 251
5.3.5. Визначення операцій моделі 255
5.3.6. Проведення моделювання з використанням програми моделювання 257
5.4. Висновки до розділу 259
Розділ 6. Аналіз переваг застосування онтологічних моделей задач для побудови програмних систем 261
6.1. Якість програмного забезпечення та методи її вимірювання та оцінювання 261
6.2. Вихідні дані для аналізу 265
6.3. Визначення та аналіз джерел ефективності використання онтологічних моделей для побудови програмних систем 265
6.3.1. Повторне використання концептів, знань, та структур даних на етапах аналізу та розробки архітектури 265
6.3.2. Повторне використання структур даних та коду на етапі дизайну та кодування 269
6.3.3. Ефективність використання онтологічних моделей задач на етапі тестування 271
6.3.4. Повторне використання концептів, знань, структур даних та коду на етапах підтримки та експлуатації програмного продукту 273
6.4. Висновки до розділу 280
Висновки 283
Література 286
Додаток А. Акти впровадження результатів дисертаційної роботи. 311
Додаток Б. Формати та структури даних для подання моделей. 314
Б.1. Приклад текстового подання загальної моделі бізнес-операції 314
Б.2. Подання алгоритмічної моделі автоматизованого тестування 315
Б.3. Модель отримання інсталятора через ftp сервіс 317
Б.4.Подання моделі керування доступом до ресурсів 319
Б.5.Приклад моделі туристичного сервісу 321
Б.6.Формат даних для подання онтологій 323
Б.7.Формат подання виконувальної онтологічної моделі задачі 325
Б.8.Специфікація бази фактів 327
Б.9.Формат подання факт-моделі 328
Додаток В. Інформація для аналізу переваг застовування онтологічних моделей задач для побудови програмних систем 330
В.1. Проаналізовані програмні системи 330
В.2. Варіанти модифікацій типу А та оцінки працемісткості їх реалізації (людино-годин) 331
В.3. Варіанти модифікацій типу B та оцінки працемісткості їх реалізації (людино-годин) 332
В.4. Варіанти модифікацій типу C та оцінки працемісткості їх реалізації (людино-годин) 334
В.5.Варіанти модифікацій типу D та оцінки працемісткості їх реалізації (людино-годин) 335

Перелік умовних скорочень
БП – бізнес-процес
B2B – Бізнес-бізнес різновид системи електронної комерції (Business to Business)
BI – бізнес- аналітика (Business Intelligence)
BPEL, BPEL4WS – мови подання логіки бізнес-процесів
BPM – менеджмент бізнес-процесів (Business Process Management)
BPMN - графічна мова для моделювання бізнес-процесів (Business Process Modeling Notation)
BPR – перепроектування бізнес-процесів (Business Process Reeingineering)
C2B – Клієнт-Бізнес -різновид системи електронної комерції (Customer to Business)
IT – інформаційні технології (Information technologies)
NIST – національний інститут стандартів та технологій США (National Institute of Standards and Technologies)
MDA – модельно-орієнтовані архітектури (Model driven architectures)
MOF – мова для специфікації мета-моделей (Meta Object Facility)
OOD – об’єктно-орієнтоване проектування (Object-Oriented Design)
OWL – - мова для подання онтологій у семантичному веб (Web Ontology Language)
OMG - організація по стандартизації об’єктно-орієнтованих технологій (Object management group)
PIM – модель незалежна від платформи (Platform Independent model)
PSM – модель залежна від платформи (Platform specific model)
RDF – форма поданння інформації (resource description framework)
SLA – угода про якість обслуговування (Service Level Agreement)
SOP – стандартна операційна процедура (Standard Operation Procedure)
SysML – графічна мова моделювання та проектування програмних систем
SOA – сервісно-орієнтовані архітектури (Service – oriented architecture)
SSOA – семантичні сервісно-орієнтовані архітектури
XML – текстова мова подання інформації (Extensible Markup Language)
xUML – виконувальний UML – одна із реалізацій MDA (Executable UML)
UML – мова об’єктного проектування програмних систем (Universal Modeling Language))

Список рисунків
Рис. 1.1. Вузькі місця в архітектурі програмної системи 32
Рис. 1.2.Рівні абстрагування в процесі еволюції парадигм мовних засобів програмних систем 44
Рис. 2.1. Форми подання знань у порядку збільшення математичної строгості 57
Рис. 2.2. Використання контексту підчас взаємодії об’єктів 76
Рис. 2.3. Використання бази знань у застосуваннях, що працюють з контекстом 78
Рис. 2.4. Приклад визначення контексту сутності 82
Рис. 3.1. Структура системи опрацювання знань 94
Рис.3.2. Порівняння опрацювання моделей в xUML та у запропонованому підході 99
Рис. 3.3. Процес активації моделі 103
Рис. 3.4. Процес взаємодії моделі активатора з сервісами контекстних даних 108
Рис. 3.5. Процес навчання з використанням сумісних онтологій 1122
Рис. 3.6. Архітектура та рівні моделювання програмної системи 116
Рис. 3.7. Етапи процесу прийняття рішення 122
Рис. 3.8. Схема залежностей між різними типами моделей 128
Рис. 3.9. Архітектура інтелектуального сервісу 131
Рис. 3.10. Складові частини системи-оболонки для сервісу унаслідуваної системи 133
Рис. 3.11. Схема взаємодії сервісу та процесору 1422
Рис. 3.12. Структура системи моделювання рівня пристроїв 144
Рис.4.1.Графічне подання бізнес-процесу оновлення програмного забезпечення. 153
Рис. 4.2. Графічне подання моделі бізнес-операції 155
Рис. 4.3. Онтологічна модель для задачі «Виконання тестового сценарію» 160
Рис.4.4.Онтологічна модель процесу «Тестування на відповідність вимозі» 161
Рис. 4.5. Онтологія галузі тестування програмного забезпечення 162
Рис. 4.3. Cтруктура програмної системи автоматизованого тестування. 166
Рис. 4.4. Загальна модель задачі ОтриматиІнсталятор 170
Рис. 4.5. Схема моделі Отримати ІнсталяторЧерезFtp 171
Рис. 4.9. Загальна схема використання ресурсної моделі 183
Рис. 4.10.Використання ресурсної моделі у процесі розробки технічної пропозиції. 184
Рис. 4.11. Схема загальної моделі оцінювання 193
Рис. 4.12. Схема моделі консенсусного оцінювання 195
Рис. 4.13. Контекстна діаграма сервісу завантаження. 199
Рис. 4.14. Структура інтелектуального сервісу завантаження 200
Рис. 4.15. Об’єкти контексту запланованої поїздки 208
Рис. 4.16. Структурна схема інтелектуальної системи 210
Рис. 4.17. Схема отримання контекстних даних моделями 213
Рис. 4.18. Модель пошуку готелів 215
Рис. 4.19. Схема отримання контекстних даних моделями 221
Рис. 4.20. Сервіс „Мандрівка до Риму”. Довідкова інформація у контексті ситуації 223
Рис. 4.21. Сервіс „Мандрівка до Риму”. Деталізація довідкової інформації 223
Рис. 4.22. Сервіс „Мандрівка до Риму”.Планування нового завдання 224
Рис. 5.1. Діаграми прецедентів для основних варіантів використання 233
Рис. 5.2. Діаграми потоків даних взаємодії з сервісами моделювання 234
Рис. 5.3. Структурні компоненти середовища моделювання 242
Рис. 5.4. Головне вікно середовища моделювання 242
Рис. 5.5. Діаграма компонентів системи моделювання 243
Рис. 5.6. Створення (або модифікація) сутності 245
Рис. 5.7. Вікно роботи з атрибутами 245
Рис. 5.8.Створення обмеження 246
Рис. 5.9. Перелік обмежень атрибуту з їх описом 247
Рис. 5.10. Відношення як сутність 247
Рис. 5.11. Атрибути відношення 248
Рис. 5.12. Інформація про відношення 248
Рис. 5.13. Головне вікно редактора фактів 249
Рис. 5.14. Створення факту 250
Рис. 5.15. Приклад відображення факту-відношення 251
Рис. 5.16. Створення факту-відношення 251
Рис. 5.17. Перегляд наявних моделей та їх метаданих у броузері моделей 253
Рис. 5.18. Ролі та контекст сутностей 253
Рис. 5.19. Відношення моделі 255
Рис. 5.20. Операції моделі 256
Рис. 5.21.Визначення операції 256
Рис. 5.22. Результати ініціалізації моделі 257
Рис. 5.23. Відображення процесу моделювання 258
Рис. 5.24. Ініціалізація факт-моделі 259
Рис. 6.1. Модель якості програмного продукту стандарту ISO 9126 262
Рис. 6.2. Модель якості програмного продукту стандарту ISO/IEC 2510 262
Рис. 6.3.Оцінка ступеня повторного використання сутностей 268
Рис. 6.4.Середні значення показника ступеня повторного використання сутностей в проаналізованих програмних системах 268
Рис. 6.5.Оцінка ступеня повторного використання функцій 270
Рис. 6.6.Середнє значення показника повторного використання функцій у проаналізованих програмних системах 271
Рис. 6.7.Оцінки тривалості виконання змін типу A у програмних системах 275
Рис. 6.8.Оцінки тривалості виконання змін типу B у програмних системах 275
Рис. 6.9.Оцінки тривалості виконання змін типу С у програмних системах 277
Рис. 6.10.Оцінки тривалості виконання змін типу D у програмних системах 278

Список таблиць
Таблиця 1.1. Моделювання предметної області в архітектурах програмних систем 522
Таблиця 2.1. Сутності онтології Бунге 599
Таблиця 3.1. Порівняння запропонованого підходу з xUML 100
Таблиця 3.2. Сутності онтології бізнес-процесів 126
Таблиця 3.3. Відношення онтології бізнес-процесів 126
Таблиця 4.1. Процеси та задачі галузі тестування програмного забезпечення 160
Таблиця 4.2. Відношення онтології тестування програмного забезпечення 163
Таблиця 5.1. Сценарії використання комплексу моделювання 228
Таблиця 5.2. Типи контекстних елементів 237
Таблиця 6.1. Характеристики якості по стандарту ISO/IEC 9126-1 263
Таблиця 6.2. Характеристики якості за стандартом ГОСТ 28195-89 264
Таблиця 6.3. Джерела підвищення якості програмного продукту 280
Таблиця В.1. Проаналізовані програмні системи 330
Таблиця В.2. Варіанти модифікацій типу А та оцінки працемісткості їх реалізації (людино-годин) 331
Таблиця В.3. Варіанти модифікацій типу B та оцінки працемісткості їх реалізації (людино-годин) 332
Таблиця В.4. Варіанти модифікацій типу C та оцінки працемісткості їх реалізації (людино-годин) 334
Таблиця В.5. Варіанти модифікацій типу D та оцінки працемісткості їх реалізації (людино-годин) 335

Вступ
Актуальність теми дослідження.
Аналіз існуючих тенденцій розвитку інформаційних технологій, зокрема використання Інтернет та систем електронної комерції, систем мобільного доступу, мережецентричних систем, показує, що поширення, темпи змін та складність програмних систем продовжують зростати.
Це відповідає загальним тендеціям глобалізації у світовій економіці, необхідності швидко реагувати на зміни у бізнесовому середовищі. Підвищення мобільності бізнес-процесів на сьогодні спирається на широке використання програмних систем та технологій і в свою чергу ставить високі вимоги до якості програмних систем та їх здатності швидко та безпомилково адаптуватися до змін бізнесового середовища.
В цих умовах актуальним є розроблення нових архітектурних принципів, методів та засобів спрямованих на спрощення побудови, модифікації та адміністрування програмних систем та підвищення їх якості.
Високий рівень складності призводить до виникнення ряду недоліків та вузьких місць, якими характеризуються існуючі архітектури програмних систем та підходи до їх проектування. Зокрема:
-проектування програмної системи базується на фіксованому наборі вимог до системи, які часто визначені нечітко. В результаті такого проектування отримують системи які погано реагують на зміну вимог та зовнішніх чинників, які дорогі у підтримці та експлуатації і в яких нерідко трапляються збої та аварії. При цьому зміна вимог вимагає перепроектування системи.
-проектування найчастіше подається, як циклічне повторення таких робіт як визначення вимог, проектування архітектури, придбання обладнання, кодування програмного забезпечення, тестування, системна інтеграція, впровадження та експлуатація. Реалізація такого підходу зазвичай займає багато часу і не дозволяє гнучко реагувати на зміни середовища та вимог до системи.
-в існуючих програмних системах правила та алгоритми функціювання жорстко зашиті у коді. Будь-яка зміна алгоритму та правил вимагає перекодування та тестування, що займає багато часу та дорого.
-існує відрив системи бізнес-процесів від програмної системи, яка забезпечує її функціювання. В результаті зміна у бізнес-процесах не може бути оперативно відображена у програмній системі.
На вирішення науково-технічної проблеми побудови програмних систем, здатних до адаптації в умовах змін середовища функціювання, спрямовані наукові дослідження за декількома теоретичними та технологічними напрямами.
Зокрема, в галузі технологій розробки програмного забезпечення проводяться дослідження методів гнучкої розробки (Agile programming). Ці методи є ефективними при створенні відносно простих систем, в них складно спланувати терміни реалізації визначених функціональних вимог.
З метою врахування специфіки бізнес-процесів в архітектуру програмної системи вводиться рівень бізнес-логіки (Microsoft .NET WPF application framework, Еванс - Domain driven design, Сидоров М.О.). Водночас, таке запровадження зазвичай носить статичний характер та враховує лише стан бізнес-правил на певний момент часу, реалізація ж бізнес-правил як частини загального коду системи суттєво ускладнює її модифікацію.
На вирішення зазначених вище недоліків спрямовані модельно-орієнтовані підходи, в яких виділено формалізацію алгоритму роботи програмної системи від системи опрацювання цього алгоритму. Такий підхід запропоновано Меллором та Шлаером, які спочатку будують модель програмної системи, що потім компілюється у код. Водночас, практичне застосування цього підходу показало, що його складність є співмірною зі складністю створення програмної системи традиційним способом. У роботах Росса, Хея (Ross, Hay) та ряду інших авторів запропоновано декларативний опис та збереження бізнес-правил в окремій спеціалізованій системі. При цьому частиною програмної системи є так звана машина правил для контролю виконання бізнес-правил. Такий підхід дозволяє гнучко налаштовувати систему при зміні бізнес-правил. Його обмеженість обумовлена неможливістю подати усі особливості бізнес-середовища у вигляді правил, відсутності декларативного опису середовища.
Перспективним напрямом у вирішенні проблеми адаптації програмної системи до змін середовища є використання підходів інтелектуальних систем, зокрема онтологічного моделювання (Грубер, Калініченко, Філатов). На відміну від класичних модельних підходів орієнтованих на компільовані моделі чи опрацювання правил, у підході онтологічного моделювання будують формальну модель предметної області (онтологію), яка може бути повторно використана для побудови інших програмних систем для цієї ж предметної області.
Для побудови програмних систем з використанням онтологічного підходу доцільно обрати об’єктом моделювання задачу, як найменшу ідентифіковану та необхідну частину будь-якої роботи. Поняття задачі визначається в літературі [1] як усвідомлена проблемна ситуація з визначеними умовами (даними) та метою.
Аналіз існуючих підходів до побудови та модифікації програмних систем показує, що незважаючи на значний обсяг зусиль, спрямованих на підвищення здатності програмної системи адаптуватися до зміни середовища функціювання, ця проблема загалом ще не вирішена.
Отже, існує наукова-технічна проблема підвищення якості розроблення та функціювання програмних систем, в аспектах повязаних зі складністю їх побудови, та адаптації до актуального стану предметної області. Зазначена проблема відображає фундаментальне протиріччя між змінним характером середовища в якому функціонує програмна система, та вимогами швидкої та коректної адаптації складної програмної системи до цих змін, на подалання якого і спрямоване дане дисертаційне дослідження. Дисертантом подано вирішення науково-технічної проблеми на базі запропонованої оригінальної теоретично-методологічної концепції та методів побудови та модифікації програмних систем шляхом використання онтологічних моделей задач
Зв'язок роботи з науковими програмами, планами, темами.
Дисертаційна робота виконана в межах наукового напряму «Нові комп’ютерні засоби та технології інформатизації суспільства» визначеного пріоритетним у переліку актуальних проблем Міністерством освіти і науки України, концепції програми інформатизації НАН України, визначеної пріоритетним напрямом, згідно розпорядження № 146 від 27.02.2004 р. та за тематикою наукових досліджень кафедри інформаційних систем та мереж Національного університету «Львівська політехніка» , зокрема в рамках державної бюджетної теми «Моделі та методи побудови інтелектуальних систем бізнес-аналітики на основі інтегрованих інформаційних ресурсів», номер державної реєстрації 0110U001102. Дисертантом розроблено архітектуру, принципи функціювання, методи подання та опрацювання знань, інструментальні засоби моделювання інтелектуальної системи бізнес-аналітики на основі онтологічних моделей задач.
Мета і завдання дослідження.
Метою роботи є розв’язання науково-технічної проблеми підвищення якості програмних систем за рахунок cпрощення процесів їх побудови, модифікації, адміністрування та підтримки шляхом використання онтологічних моделей задач.
Для досягнення поставленої мети в дисертаційній роботі вирішуються такі завдання:
1.Аналіз існуючих підходів до побудови та архітектур програмних систем з метою визначення вузьких місць та резервів для підвищення їх якості та спрощення завдань створення, модифікації та супроводу таких систем.
2.Розвиток теоретичних засад подання та опрацювання знань про предметну область в програмних системах на основі онтологічних моделей задач з метою розробки та теоретичного обгрунтування принципів подання та опрацювання знань у таких системах, визначення ефективних методів побудови та взаємодії моделей у системі.
3.Розроблення архітектурних принципів та методів побудови програмної системи на основі онтологічних моделей задач та визначення способів реалізації адаптивних можливостей у такій системі.
4.Розроблення методів вирішення задач з використанням онтологічних моделей на основі розроблених теоретичних засад та архітектурних принципів та їх практичне застосування з метою визначення практичної цінності отриманих результатів
5.Розробка та дослідження інструментальних засобів для побудови та моделювання програмних систем на основі онтологічних моделей задач
6.Дослідження переваг застосування онтологічних моделей для побудови програмних систем, розроблення методів визначення їх впливу на характеристики якості програмного забезпечення та формування відповідних оціночних співвідношень
Об’єктом дослідження є процеси побудови та функціювання програмних систем.
Предметом дослідження є архітектури, методи побудови та функціювання програмних систем на основі онтологічних моделей задач.
Методи дослідження. Для вирішення завдання аналізу підходів до побудови програмних систем використано: загальну теорію систем, системний аналіз, методи аналізу та моделювання бізнес-процесів, теорію еволюції програмних систем. В процесі розроблення теоретичних засад подання та опрацювання знань у програмних системах на основі онтологічних моделей задач використано теоретико-множинні підходи, теорію типів, алгебру систем, теорію побудови інтелектуальних систем на базі онтологій, теорію схем. При розробленні архітектурних принципів побудови програмних систем на основі онтологічних моделей було використано апарат модельно-орієнтованих підходів до побудови програмних систем, загальні архітектурні принципи побудови програмних систем, методи сервісно-орієнтованих систем. Під час розроблення методів вирішення задач з використанням онтологічних моделей були застосовані методи концептуального моделювання та систем підтримки прийняття рішень. Для розроблення та дослідження інструментальних засобів побудови та моделювання програмних систем на основі онтологічних моделей задач були використані xml- технології для специфікації подання моделей. У процесі дослідження ефективності застосування онтологічних моделей задач були застосовані методології визначення параметрів якості програмного забезпечення, подані у міжнародних стандартах ISO 9126, ISO/IEC 2510, а також методи оцінювання тривалості виконання завдань проекту.
Наукова новизна одержаних результатів.
Наукова новизна одержаних результатів. Узагальнено наукова новизна результатів полягає у розробці нових принципів та методів побудови програмних систем, які базуються на використанні онтологічних моделей задач що зменшує складність їх побудови та адаптації до змін предметної області. Дисертантові особисто належать наступні наукові результати:
• отримала подальшій розвиток концепція побудови баз знань, яка полягає у включенні у базу знань окрім онтології та інформаційної бази ще моделей задач; така концепція, на відміну від існуючих, поєднує переваги декларативного та процедурного підходів, та орієнтована на підтримку вирішення задач з використанням бази знань і дозволяє формалізувати, накопичувати та повторно використовувати досвід щодо способів виконання задач;
• вперше розроблено механізм взаємодії моделей задач, який забезпечує вирішення задач пошуку релевантних моделей, вибору моделі та її ініціалізації; цей механізм уможливлює вирішення складних задач у системі, багатоваріантність методів рішення задачі, та повторне використання знань у системі;
• вперше розроблено означення контексту, в якому на відміну від існуючих, використовується база знань, яке не залежить від задач, що використовують контекст, а тільки від стану бази знань; в межах цього визначення розроблена формальна специфікація та методи визначення контексту для факту та класу бази знань;
• вперше розроблена методологія побудови онтології предметної області на основі аналізу комплексу задач, що вирішують у цій області; на відміну від існуючих, ця методологія визначає ітеративний процес розбудови онтології та забезпечує кращу її обґрунтованість, спрощує процес створення та модифікації онтології, а також створює можливість її валідації через комплекс використаних моделей;
• вперше запропоновано принцип побудови модельно-орієнтованих програмних систем з використанням інтерпретації моделей задач, який на відміну від xUML, дозволяє спростити процес побудови та модифікації системи;
• вперше розроблено новий, базований на онтологічних моделях задач, метод керування доступом до ресурсів програмної системи, який порівняно з методом RBAC та ABAC не має ефекту накопичення прав доступу з часом, дозволяє надавати права у контексті виконуваних виробничих завдань, спрощує процес надання та вилучення прав;
• вперше проаналізована ефективність застосування онтологічних моделей задач для побудови програмних систем та розроблено відповідні оціночні співвідношення, які дозволяють оцінити вплив на характеристики якості програмного забезпечення.
Практичне значення одержаних результатів.
Практичне значення дисертаційної роботи полягає у:
• дослідженні та розробці способів застосування виконувальних онтологічних моделей для моделювання бізнес-процесів та систем бізнес-аналітики підприємств, визначенні типів моделей, їх структури та способів використання;
• розробці онтології галузі тестування програмного забезпечення на основі аналізу процесів та завдань тестування;
• розробці способів подання онтологічних моделей бізнес-процесів та методів іх використання для автоматизації тестування програмних продуктів;
• розробці способів створення керованих моделями інтелектуальних туристичних сервісів, які використовують для прийняття рішень інформацію з контексту поїздки;
• розробці структури, принципів функціювання інструментальних засобів для створення та моделювання програмних систем на базі онтологічних моделей.
Результати роботи впроваджені у навчальному процесі та використовувалися для тестування програмних продуктів на ТзОВ «Софтсерв».
Особистий внесок здобувача. Усі наукові результати дисертаційної роботи отримані автором самостійно.
• у роботі [2] – застосування методології побудови онтології на основі аналізу задач до предметної галузі тестування;
• у роботі [3]– методи відображення подій у моделях проектування
• в роботі [4]– методи аналізу інформаційних потоків з рахуванням особливостей internet- та intranet - мереж
• в роботі [5] – способи подання та параметричні моделі сервісів розподілених інформаційних систем;
• у роботі [6] - алгоритми розміщення даних та критерії ефективності
• в роботі [7] - постановка задачі, класифікація моделей, принципи функціювання системи підтримки договірного процесу
• у роботі [8] - постановка задачі, форма подання та способи опрацювання моделей у туристичному порталі
• у роботі [9]– постановка задачі, метод керування доступом на базі моделей, структура моделі, приклади використання моделей
• в роботі [10]– постановка задачі, форма подання ситуаційної моделі, принципи використання та опрацювання моделей у туристичному сервісі
• у роботі [11]– алгоритм консенсусного оцінювання у вигляді моделей знань
Апробація результатів дисертації. Основні результати дисертаційних досліджень неодноразово доповідалися на міжнародних наукових конференцій, зокрема на конференціях «Комп’ютерні науки та інформаційні технології» - ITCE (м.Вінниця, 2010 р), «Інтелектуальні системи прийняття рішнень і проблеми обчислювального інтелекту» ISDMCI (м. Євпаторія, 2010, 2011), «Системний аналіз та інформаційні технології» - SAIT (м. Київ, 2011, 2014), «Комп’ютерні науки та інформаційні технології» - CSIT (м. Львів, 2009, 2010).
Публікації. За результатами дисертаційних досліджень опубліковано 47 наукових праць, з них 35 – у фахових наукових виданнях, з них 33 – відповідають вимозі ДАК МОН України щодо кількості публікацій в одному виданні, 19 публікацій одноосібних. Апробація наукових результатів відображена у 11 тезах міжнародних конферецій, 6 статей опубліковані у виданнях, індексованих у міжнародних базах даних [2,12-16]. За матеріалами дисертаційної роботи видана одноосібна монографія «Концептуальне моделювання інтелектуальних програмних систем» [17].
Структура та зміст роботи. Дисертаційна робота складається зі вступу, шести розділів, висновків, списку використаних джерел з 180 найменувань на 19 сторінках та 3 додатків на 23 сторінках. Загальний обсяг дисертацій 326 сторінок, з них 283 сторінок основного тексту, 74 рисунків, 13 таблиць.

Список литературы

Висновки
У дисертаційній роботі розв’язано науково-технічну проблему зменшення складності процесів створення та модифікації програмних систем шляхом використання онтологічних моделей задач. Основні наукові і практичні результати роботи полягають у наступному.
1. Проаналізовано існуючі підходи та архітектури програмних систем з метою визначення резервів для підвищення їх якості в аспектах спрощення процесів їх побудови та здатності адаптуватися до змін предметної області. Обгрунтована перспективність використання для вирішення проблеми дослідження методів інженерії знань, зокрема онтологій.
2. Отримало подальший розвиток концепція побудови баз знань, що полягає у включенні у базу знань окрім онтології та інформаційнї бази ще онтологічних моделей. Такий підхід, на відміну від існуючих, поєднує переваги онтологічного та схемного підходів, орієнтований на підтримку вирішення задач з використанням бази знань.
3. Розроблено метод визначення контексту, який на відміну від існуючих, використовує базу знань, та не залежить від задач, що використовують контекст, а тільки від стану бази знань. В межах цього підходу розроблена формальна специфікація та спосіб визначення контексту для факту та сутності бази знань.
4. Розроблена методологія побудови онтології предметної області на основі аналізу комплексу задач, що вирішують у цій області. На відміну від існуючих, ця методологія визначає ітеративний процес розбудови онтології та забезпечує кращу її обгрунтованість.
5. Розроблено архітектурні принципи та методи побудови програмної системи на основі онтологічних моделей задач та механізм взаємодії моделей, який забезпечує вирішення задач пошуку релевантних моделей, вибору моделі та її ініціалізації. Цей механізм робить можливим вирішення складних задач у системі, багатоваріантність методів рішення задачі, та повторне використання знань у системі.
6. Запропоновано принцип побудови модельно-орієнтованих програмних систем з використанням інтерпретації моделей знань, який на відміну від xUML дозволяє спростити процес побудови та модифікації системи.
7. Розроблено методи вирішення задач з використанням онтологічних моделей. Зокрема, метод керування доступом до ресурсів програмної системи, який порівняно з методом RBAC та ABAC не має ефекту накопичення прав доступу з часом, дозволяє надавати права у контексті виконуваних виробничих завдань, спрощує процес надання та вилучення прав.
8. Розроблено способи застосування онтологічних моделей задач для моделювання бізнес-процесів та систем бізнес-аналітики підприємств. Зокрема, розроблено онтологію галузі тестування програмного забезпечення на основі аналізу процесів та завдань тестування, способи подання онтологічних моделей бізнес-процесів та методів іх використання для автоматизації тестування програмних продуктів.
9. Розроблено прототип інструментального засобу для створення онтологічних моделей задач та проведення моделювання процесу вирішення задач з використанням цих моделей.
10. Визначені джерела переваг у застосування онтологічних моделей задач, їх вплив на характеристики якості програмного забезпечення протягом його життєвого циклу. Розроблено співвідношення для кількісної оцінки переваг та проведено аналіз переваг на виборці проектів зі створення та модифікації програмних систем.

Література
1. Фридман Л. М. Основы проблемологии. / Фридман Л. М. // Cерия: Проблемология. - М: Синтег, 2001. – С.228.
2. Burov E. Modeling software testing processes with task ontologies. / Burov E, Pasitchnyk V, Gritsyk V // British Journal of Education and Science. - London: London university press, 2014. - No 2(6). - P.256-263.
3. Буров Є. В. Моделювання подій у процесі проектування розподілених систем. / Буров Є. В., Бурова О. Я // Вісник Національного університету "Львівська політехніка" "Інформаційні системи та мережі", 1998. - № 330. –С. 13-17.
4. Буров Є. В. Аналіз та оптимізація інформаційних потоків у сучасних internet та intranet системах. / Буров Є. В., Пелещищин А. М. // Вісник Національного університету "Львівська політехніка" "Інформаційні системи та мережі". - Львів: вид-во Львівської політехніки, 1998. - № 330. –С.27-34.
5. Буров Є. В. Параметричне проектування та моделювання сервісів розподілених інформаційних систем. / Буров Є. В., Пелещищин А. М. // Вісник Національного університету "Львівська політехніка" "Інформаційні системи та мережі". - Львів: вид-во Львівської політехніки, 1999. - № 383. –С.4-11.
6. Буров Є. В. Оптимізація розміщення даних у веб. / Буров Є. В., Пелещищин А. М // Вісник Національного університету "Львівська політехніка" "Інформаційні системи та мережі". - Львів: вид-во Львівської політехніки, 1998. - № 330. –С.17-27.
7. Буров Є. В. Інтелектуальна система підтримки прийняття рішень у договірному процесі. / Буров Є. В., Калінчук Ю. О., Ломтєв А. В. // Вісник національного університету Львівська політехніка ‘Інформаційні системи та мережі’. - Львів: вид-во Львівської політехніки, 2009. - № 653. -С.24-31.
8. Буров Є. В. Опрацювання контекстних даних в інтелектуальному туристичному порталі. / Буров Є. В., Королюк Ю. В. // Вісник національного університету Львівська політехніка “Комп'ютерні науки та інформаційні технології”. - Львів: вид-во Львівської політехніки, 2010. - № 672. - С.228-236.
9. Буров Є. В. Використання моделей для керування доступом до ресурсів інтелектуальної інформаційної системи. / Буров Є. В., Гульова А. В. // Вісник національного університету "Львівська політехніка" "Інформаційні системи та мережі". - Львів: вид-во Львівської політехніки, 2010. - № 673. - С.59-68.
10. Буров Є. В. Інтелектуальний туристичний сервіс з опрацюванням контексту ситуації. / Буров Є. В, Городецька А. І. // Вісник національного університету "Львівська політехніка" "Інформаційні системи та мережі". - Львів: вид-во Львівської політехніки, 2010. - № 689. - С.27-36.
11. Буров Є. В. Консенсус експертів як засіб для підвищення достовірності моделей знань в інтелектуальний системі. / Буров Є. В., Крамаренко М.Б. // Вісник національного університету "Львівська політехніка" "Комп'ютерні науки та інформаційні технології". - Львів: вид-во Львівської політехніки, 2011. - № 694. – С.212-220.
12. Burov E. Complex ontology management using task models. / Burov E. // International Journal of Knowledge-based and Intelligent Engineering Systems. - Amsterdam: IOS Press, 2014. - vol 18, No 2. - P.111-120.
13. Burov Y. Business process modelling using ontological task models / Burov Y. // Econtechmod. - Lublin: Polish Academy of Sciences, 2014. - vol.3, No1. - P.11-23.
14. Буров Є. В. Керування доступом до ресурсів інтелектуального підприємства з використанням онтологічних моделей. / Буров Є. В. // Технологічний аудит та резерви виробництва. - Харків: Технологический центр, 2014. – С.36-38.
15. Буров Є. В. Опрацювання знань у когнітивній інформаційній системі керованій моделями. / Буров, Є. В. // Східно-Європейський журнал передових технологій. - 2009. - № 6/7(42). - С. 40-49.
16. Буров Є. В. Опрацювання контексту у когнітивній інформаційній системі керованій моделями. / Буров Є. В. // Східно-Європейський журнал передових технологій, 2010. - №1/7(43). - С.40-47.
17. Буров Є. В. Концептуальне моделювання інтелектуальних програмних систем: монографія. / Буров Є. В. - Львів: Вид-во Львівської політехніки, 2012. - С.432.
18. Буров Є. В. Актуальні проблеми автоматизації проектування розподілених інформаційних систем. / Буров Є. В. // Вісник національного університету "Львівська політехніка" "Інформаційні системи та мережі". - Львів: вид-во Львівської політехніки, 1997. - № 315.
19. Буров Є. В. Автоматизація визначення та моніторингу параметрів угоди про якість обслуговування (SLA) для дослідження впливу сервісів інформаційної системи на параметри бізнес-процесів. / Буров Є. В. // Вісник національного університету "Львівська політехніка" "Інформаційні системи та мережі". - Львів: вид-во Львіської політехніки, 2007 - № 589. - С.33-35.
20. Вонт Р. Адаптивные и проактивные компьютерные системы / Вонт Р., Перинг Т., Тенненхаус Д., // Открытые системы. - 2003. - № 10.
21. Черняк Л. От адаптивной инфраструктуры — к адаптивному предприятию. / Черняк Л. - 2003. - № 10. – С.30-35.
22. Total number of websites. // [Electronic resource]. - Access mode: http://www.internetlivestats.com/total-number-of-websites/
23. Internet world stats. Usage and population statistics 2013: [Electronic resource]. - Access mode: http://www.internetworldstats.com/stats.htm.
24. eCommerce growth: [Electronic resource]. - Access mode: http://www.statista.com/markets/413/e-commerce/
25. Програмна система: [Електронний ресурс]. - Режим доступу:http://slovopedia.org.ua/38/53407/383313.html.
26. Software system. Wikipedia - free encyclopedia: [Electronic resource]. - http://en.wikipedia.org/wiki/Software_system.
27. ГОСТ Р ИСО/МЭК 12207-99: [Електронний ресурс]. - Режим доступу: http://www.complexdoc.ru/text/ГОСТ%20Р%20ИСО%7CМЭК%2012207-99/3.
28. Mesarovic M. Theory of Hierarchical, Multilevel Systems. / Mesarovic M., Takahara. - New York, London: Academic Press, 1970. – P.294.
29. WPF Application Framework (WAF): [Electronic resource]. - Access mode: http://waf.codeplex.com/wikipage?title=Architecture%20-%20Get%20The%20Big%20Picture&referringTitle=Home.
30. Evans E. Domain-Driven Design: Tackling Complexity in the Heart of Software. / Evans E. - Addison-Wesley, 2003. – Р.560.
31. Osterwalder A., Business Model Ontology - a proposition in a design science approach. / Osterwalder A. - Citeseer, 2004. – P.172.
32. Eriksson H. E. Business Modeling with UML. Business Patterns at Work. / Eriksson H. E., Penker M. - John Wiley & Sons, 2000. – P.40.
33. Davenport T. H. The New Industrial Engineering: Information Technology and Business Process Redesign. / Davenport T. H., Short J. E // Sloan Management Review, 1990. - vol 31. - P.11-27.
34. Davenport T. H. Process innovation: reengineering work through information technology. / Davenport T. H. - Harvard Business School Press, 1993. – P.337.
35. Weske M. Business Process Management: Concepts, Languages, Architectures. / Weske M. - Springer-Verlag, 2007. P.404.
36. Козак Н. Сертификация по ISO 9000:2000 года как способ оптимизации системы управления предприятием. / Козак Н. // Управление компанией. - 2001.
37. Паулк М. Насколько стандарт ISO 9001 сопоставим с CMM. / Паулк М. // Interface.ru.
38. Graham B. B. Detail process charting: speaking the language of process. / Graham B. B. - John Wiley& sons, 2004. -P.209.
39. Why UML Fails to Add Value to the Design and Development Process.: [Electronic resource]. - Access mode: http://lispy.wordpress.com/2008/10/29/why-uml-fails-to-add-value-to-the-design-and-development-process.
40. Henderson-Sellers B. Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0. / Henderson-Sellers B., Gonzalez-Perez C. // Model Driven Engineering Languages and Systems. - Heidelberg: Springer, 2006. - P.16-26.
41. Owen M. BPMN and Business Process Management Introduction to the BPMN and Business Process Management: Introduction to the New Business Process Modeling Standard. / Owen M., Raj J. - Popkin Software whitepaper, 2003. – P.27.
42. OMG Systems Modeling Language (OMG SysML™), Vol.1.0 .OMG Available Specification., OMG Document Number: formal/2007-09-01. Standard document: [Electronic resource]. - Access mode: http://www.omg.org/spec/SysML/1.0/PDF.
43. Gaur H BPEL Cookbook Best Practices for SOA-based integration and composite applications development. / Gaur H., Zirn M. - Birmingham – Mumbai: Packt Publishing, 2006. – P.188.
44. Howson C., Business Objects XI: the complete reference. / Howson C. - McGraw-Hill, 2006.- P.650.
45. Larson B. Delivering Business Intelligence with Microsoft SQL Server 2008. / Larson B. - McGraw-Hill Osborne Media, 2009. –P.789.
46. Davis R. ARIS Design Platform. Advanced Process Modelling and Administration. / Davis R. - Springer-Verlag, 2008. – P.416.
47. Каменнова М. А. Моделирование бизнеса. Методология ARIS. / Каменнова М., Громов А., Шматалюк А. - М: Весть-Метатехнология, 2001. – C.327.
48. Александров А. BI 2.0: прообраз новой архитектуры бизнес-аналитики. / Александров А. // Открытые системы. - 2007. - № 5.
49. Software Bugs Cost U.S. Economy $59.6 Billion Annually, RTI Study Finds. : [Electronic resource]. - Access mode: http://www.nist.gov/director/prog-ofc/report02-3.pdf.
50. Dijkstra, E.W The end of Computing Science? / Dijkstra, E.W.: [Electronic resource]. - Access mode: http://userweb.cs.utexas.edu/users/EWD/ewd13xx/EWD1304.PDF.
51. Balmelli L. Model-driven systems development. / Balmelli L., Brown D., Cantor M., Mott M. // IBM Systems Journal, 2006. - Vol.45. - P.569-585.
52. Charvat J. Project Management Methodologies/ / Charvat J. - Wiley, 2003. –P.307.
53. Ерохин В. Инструменты управления архитектурой предприятия. / Ерохин В. // Открытые системы, 2007.
54. Microsoft Dynamic Systems Initiative Overview.: [Electronic resource]. - Access mode: http://www.microsoft.com/business/dsi/dsiwp.mspx.
55. Voss P. Essentials of General Intelligence: The Direct Path to Artificial General Intelligence Engine. / Voss P. // Artificial General Intelligence. - Berlin, Heidelberg: Springer-Verlag, 2007. – P.131-157.
56. OASIS SOA reference model.: [Electronic resource]. - Access mode: http://www.oasis-open.org/committees/tc_home.php?wg_abbrev=soa-rm.
57. Erl T. SOA Principles of Service Design. / Erl, T. - Prentice Hall, 2007.
58. Reference Ontology for Semantic Service Oriented Architectures v1.0.: [Electronic resource]. - Access mode: http://docs.oasis-open.org/semantic-ex/ro-soa/v1.0/see-rosoa-v1.0.html.
59. MDA Guide Version 1.0, OMG group, 2003.: [Electronic resource]. - Access mode: www.omg.org/mda/mda_files/MDA_Guide_Version1-0.pdf.
60. MDA.: [Electronic resource]. - Access mode: http://www.omg.org/mda/.
61. Mellor S. J. Executable UML: A foundation for model-driven architectures. / Mellor S. J., Balcer M. J. - Addison-Wesley, 2002.
62. UML 2.3 specification.: [Electronic resource]. - Access mode: http://www.omg.org/spec/UML.
63. MDA: Nice idea, shame about the.: [Electronic resource]. - Access mode: http://www.theserverside.com/news/1365166/MDA-Nice-idea-shame-about-the.
64. Mda is doa, partly thanks to soa.: [Electronic resource]. - Access mode: http://www.forrester.com/rb/Research/mda_is_doa%2C_partly_thanks_to_soa/q/id/39156/t/2.
65. Буров Є. В. Архітектура опрацювання знань у когнітивній інформаційнії системі. / Буров Є. В. // Вісник національного університету "Львівська політехніка" "Комп'ютерні науки та інформаційні технології". - Львів: вид-во Львівської політехніки, 2009. - №650. - С.28-37.
66. Буров Є. В. Формальна модель подання знань у системі онтологічного моделювання задач. / Буров Є. В. // Вісник національного університету "Львівська політехніка" “Інформаційні системи та мережі”. - Львів: вид-во Львівської політехніки, 2013. - №770. - С.21-29
67. Garshol L. M. Metadata? Thesauri? Taxonomies? Topic Maps! / Garshol L. M. // [Electronic resource]. - Access mode: http://www.ontopia.net/ topicmaps /materials /tm-vs-thesauri.html.
68. Lytras M. D. Metadata and Semantics. / Lytras M. D. - New York: Springer-Verlag , 2008.
69. Gruber T. R. A translation approach to portable ontology specifications. / Gruber T. R. // Knowledge Acquisition, 1993. - Vol 5. - P.199-220.
70. Daconta M. C. The Semantic Web: A Guide to the Future of XML, Web Services and Knowledge Management. / Daconta M. C., Obrst L. J., Smith K. T. - Wiley, 2003. – P.281.
71. Bunge M. Treatise on Basic Philosophy: Ontology I: The Furniture of the World. / Bunge M. - Riedel, 1977. –P.352.
72. Liu Jun. Understanding the semantics of data provenance to support active conceptual modeling. / Liu Jun // Active conceptual modeling of learning. - 2007. - P.17-29.
73. The Role of UMBEL: Stuck in the Middle with You. // [Electronic resource]. - Access mode: http://www.mkbergman.com/441/the-role-of-umbel-stuck-in-the-middle-with.
74. Minsky M. A Framework for Representing Knowledge. / Minsky M., P. H. Winston, ed // The Psychology of Computer Vision. - McGraw-Hill, 1975. - P.211-277.
75. Bobrow D. G. An Overview of KRL, a Knowledge Representation Language. / Bobrow, D. G., Winograd T. // Cognitive Science. - 1977. - Vol 1. - P.3-46.
76. Keil F. C. The MIT Encyclopedia of the Cognitive Sciences (MITECS). / Keil F. C. - Cambridge: The MIT Press, 2001.
77. Brachman R. J. An Overview of the KL-ONE Knowledge Representation System. / Brachman R. J., Schmolze J.G.// Cognitive Science.- 1985. - Vol. 9. - P.171-216.
78. Ikeda M. Task ontology: Ontology for building conceptual problem solving models. / M. Ikeda, K. Seta, O. Kakusho, and R. Mizoguchi // Environment. - 1998. - P.126–133.
79. Johnson P. Task-Related Knowledge Structures:Analysis, Modelling and Application. / P. Johnson, H. Johnson, R. Waddington, and A. Shouls // Knowl. Creat. Diffus. Util. - 1988. - P.35–62.
80. Van Welie M. An Ontology for Task World Models. / M. Van Welie, G. C. Van Der Veer, and A. Eliëns // Methods. - 1998. - Vol. 98. - P.57–70.
81. Taylor P. Ontology-Based Task Simulation. / P. Taylor, M. Raubal, and W. Kuhn // Spat. Cogn. Comput. - 2004. - Vol. 4, no. 917247301. - P.15–37.
82. Kazuhisa S. Building ontologies for conceptual model management./ Seta Kazuhisa, Koyama Kazuya, Hayashi Yusuke, Ikeda Mitsuru // WSEAS Transactions on Information Science and Applications. - 2006.- Vol..3. - P. 546-553.
83. Pezzulo G., Schema-Based Design and the AKIRA Schema Language: An Overview. / Pezzulo G., Calvi G. // Anticipatory Behavior in Adaptive Learning Systems/ - 2007. - P.128-152.
84. Koo B. Algebra of systems: a metalanguage for model synthesis and evaluation. / Koo B, Simmons W. // IEEE Transactions on systems, man and cybernetics. - Vol 39, N 3 .-2009. -P.501-513.
85. Goal - Wikipedia, the free encyclopedia // .-[Electronic resource]. - Access mode: http://en.wikipedia.org/wiki/Goal.
86. Gugliotta A. A situations & goals semantic model for designing and implementing semantic web services-based processes. / Gugliotta A., Dietze S., Domingue J. // Services Computing. SCC ’08. IEEE International Conference. - 2008. - Vol.2. - P.581-582.
87. Km: the knowledge machine. // .-[Electronic resource]. - Access mode: http://www.cs.utexas.edu/~mfkb/km.html.
88. Context - Definition from Merriam-Webster Dictionary. // .-[Electronic resource]. - Access mode: http://www.merriam-webster.com/dictionary/context.
89. Dey A. K. Understanding and Using Context / Dey A.K. // Personal and Ubiquitous Computing. - 2001. - Vol.5. - P.4-7.
90. Schmidt A. There is more to context than location. / Schmidt. A. // Computers. - 1999. - Vol.23. - P.893-901.
91. Raz D. Fast and Efficient Context-Aware Services. / Raz D., Juhola A.T., Serrat-Fernandez J., Galis A. - Chichester, England: John Wiley &Sons, 2006.
92. Alexandrou M. Fundamentals Unified Process ( RUP ) Methodology. / Alexandrou M. // Risk Management. - 2009. - P.1-3.
93. Medelyan O. Integrating Cyc and Wikipedia: Folksonomy meets rigorously defined common-sense. / Medelyan O., Legg. // Proceedings of the WIKIAI Wikipedia and AI Workshop at the AAA. - 2008. - Vol.8. - P.13-18.
94. Гиппенрейтер Ю. Психология внимания. / Гиппенрейтер Ю., Романов В. - М.: Че-Ро, 2001. –C.858.
95. Olive A. Conceptional modeling of information systems. / Olive A. - Berlin Heidelberg: Springer, 2007. – P.471.
96. Zhe Y. Evaluation Metrics for Ontology Complexity and Evolution Analysis. / Zhe Y., Zhang D., Chuan Y. E. // 2006 IEEE International Conference on eBusiness Engineering ICEBE06. - 2006. - P.162-170.
97. Gangemi A. A theoretical framework for ontology evaluation and validation. / Gangemi A., Catenacci C., Ciaramita M., Lehmann J. // Semantic Web Applications and Perspectives SWAP2nd. - 2005.
98. Vrandecic D. How to Design Better Ontology Metrics. / Vrandecic D., Sure Y, E. Fraconi, M. Kifer, and W. May, eds // Lecture Notes in Computer Science The Semantic Web Research and Applications. - Springer, 2007. - P.311-325.
99. The Protégé Ontology Editor and Knowledge Acquisition System.: .-[Electronic resource]. - Access mode: http://protege.stanford.edu.
100. TopBraid Composer.-[Electronic resource]. - Access mode: http://www.topquadrant.com/products/TB_Composer.html.
101. Das A. Industrial Strength Ontology Management. / Das A., Wu W., McGuinness D. L. - Stanford University, 2001. – P.101.
102. Lanzenberger M. Visualization in Ontology Tools. / Lanzenberger M., Sampson J., Rester M // 2009 International Conference on Complex Intelligent and Software Intensive Systems. - 2009. - P.705-711.
103. Huang J. Dynamic Knowledge Provenance. / Huang J., Fox M.S. // Proceedings of Business Agents and Semantic Web. - 2003. - P.1-18.
104. Буров Є. В. Автоматизація аналізу функціональної структури розподіленої інформаційної системи. / Буров Є. В. // Вісник Національного університету "Львівська політехніка" "Інформаційні системи та мережі". - Львів: вид-во Львівської політехніки, 2000. - №406. – C.39-50.
105. Буров Є. В. Система формальних специфікацій моделювання подій для САПР розподілених інформаціних систем. / Буров Є. В. //Вісник Національного університету "Львівська політехніка" "Інформаційні системи та мережі" .- Львів: вид-во Львівської політехніки, 2000. - №413. – С.47-51.
106. Буров Є. В. Система формальних специфікацій для проектування розподілених інформаційних систем. / Буров Є. В. // Вісник Національного університету "Львівська політехніка" "Інформаційні системи та мережі". - Львів: вид-во Львівської політехніки, 2000. - № 406. –С.50-59.
107. Буров Є. В. Система формальних специфікацій мережі сервісів та процесорів для проектування розподілених інформаційних систем. / Буров Є.В. // Вісник Національного університету "Львівська політехніка". вид-во Львівської політехніки. - 2001. - №438. – С.11-20.
108. Буров Є. В. Специфікація мережі прототипів для САПР розподіленої інформаційної системи. / Буров Є. В. // Вісник Національного університету "Львівська політехніка" "Інформаційні системи та мережі". - Львів: вид-во Львівської політехніки, 2002. - № 464. – С.12-18.
109. Буров Є. В. Система формальних специфікацій для конфігурування розподіленої інформаційної системи. / Буров Є. В. // Вісник Національного університету "Львівська політехніка" "Інформаційні системи та мережі". - Львів: вид-во Львівської політехніки, 2004. - № 519. – С.29-36.
110. Буров Є. В. Система моделювання інтелектуальної мережі бізнес-процесів. / Буров Є. В. // Вісник Національного університету "Львівська політехніка" "Інформаційні системи та мережі. - Львів: вид-во Львівської політехніки, 2008. - № 610. – С.34-39.
111. Буров Є. В. Проектування інтелектуальної інформаційної мережі з використанням сервісно-орієнтованого підходу та моделей виконання запитів. / Буров Є. В. // Вісник національного університету "Львівська політехніка" "Комп'ютерні системи проектування. Теорія і практика”,. - Львів: вид-во Львівської політехніки, 2008. - №626. –С.10-15.
112. Буров Є. В. Застосування моделей процесорів та пристроїв для проектування інтелектуальних інформаційних систем. / Буров Є. В. // Вісник національного університету "Львівська політехніка" "Інформаційні системи та мережі". - Львів: вид-во Львівської політехніки, 2009. - № 631. – С.29-35.
113. Буров Є. В. Застосування виконувальних моделей для проектування сервісно-орієнтованих інтелектуальних інформаційних систем. / Буров Є. В. // Вісник національного університету "Львівська політехніка" "Комп'ютерні науки та інформаційні технології ". - 2009. - № 638. - С.200-205.
114. Pal S.K. Foundations of Soft Case-Based Reasoning. / Pal S.K., Shiu S.C.K. - Wiley-Interscience, 2004.
115. Salam A. F. Semantic Web Technologies and E-Business: Toward the Integrated Virtual Organization and Business Process Automation. / Salam A. F., Stevens J.R. - IGI Global, 2007. –P.450.
116. Норман Д. Эмоциональная реакция и конструирование компьютеров. / Норман Д., Ортони Э., Рассел Д. // Открытые системы. - 2003.
117. Turban E Decision Support Systems and Intelligent Systems. / Turban E., Aronson J. E. - Prentice Hall, 2005.- P.867.
118. Катренко А. Теорія прийняття рішень. / Катренко А., Пасічник В., Пасько В. - Київ: BHV, 2009. –C.438.
119. Simon H. A. Rational Decision Making in Business Organizations. / Simon H. A // American Economic Review. - 1979. - Vol.69. - P.493-513.
120. Fox M. S On Ontologies And Enterprise Modelling. / Fox M. S., Grüninger M. // International Conference on Enterprise Integration Modelling Technology. - 1997. - Vol.97.
121. Kaplan R. S. Putting the Balanced Scorecard to Work. / Kaplan R. S., Norton D. P// Harvard Business Review Vol. 71, 1993.-P. 134-142.
122. Lublinsky B., Reference Ontology for Semantic Service Oriented Architectures. / Lublinsky B.: .-[Electronic resource]. - Access mode: http://www.infoq.com/news/2008/12/ReferenceOntology.
123. Anthony R. Planning and control systems: a framework for analysis./ Anthony R. N.-Harward University Press, 1965.
124. Кефарт Д. Концепция саморегулирующихся вычислений. / Кефарт Д., Чесс Д. // Открытые системы. - 2003.
125. Boutaba R. Self- Managing Networks. / Boutaba R., Xiao J., // Cognitive networks. Towards self-aware networks. - John Wiley &Sons, 2007.
126. Буров Є. В. Автоматизація проектування систем керування доступом у розподіленій інформаційній системі. / Буров Є. В. // Вісник національного університету "Львівська політехніка" "Інформаційні системи та мережі". - 2003. - № 489. - С.12-25.
127. Буров Є. В. Інтелектуальний сервіс завантаження керований моделями. / Буров Є. В. // Вісник національного університету "Львівська політехніка" "Інформаційні системи та мережі". - 2008. - № 621. - С.55-60.
128. Quinn J. B. The intelligent enterprise a new paradigm. / Quinn J. B. // Academy of Management Executive. - 2005. - Vol. 19, No. 4. - P.109–121 .
129. Kang D. An ontology-based Enterprise Architecture. / Kang D., Lee J., Choi S. and Kim K. // Expert Systems with Applications. - 2010. - Vol. 37, No. 2. - P.1456–1464 .
130. Mangione G. R. Ontology-Based System for Enterprise 2.0. / Mangione G. R., Miranda S., Paolozzi S., Pierri A., Ritrovato P., and S. Salerno // Proc.Ninth Int. Conf. Intell. Syst. Des. Appl . - 2010.
131. De Cesare S.Ontology-driven software engineering. / S. de Cesare F. Gailly G. Holland M. Lycett, and C. Partridge // Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion. - 2010. - P.279–280.
132. Botzenhardt A. Developing a domain ontology for software product management. / A. Botzenhardt, A. Maedche, and J. Wiesner // 2011 5th International Workshop on Software Product Management, IWSPM 2011. - 2011. - P.7–16.
133. Kitchenham B. Towards an ontology of software maintenance. / B. Kitchenham, G. H. Travassos, A. Von Mayrhauser, F. Niessink, N. F. Schneidewind, J. Singer, S. Takada, R. Vehvilainen, and H. Yang // J. Softw. Maint. Res. Pract. - 1999. - Vol. 11, No. 6. - P.365–389.
134. Kayed A.Towards an Ontology for Software Product Quality Attributes. / A. Kayed, N. Hirzalla, A. A. Samhan, and M. Alfayoumi // Internet and Web Applications and Services 2009 ICIW 09 Fourth International Conferenc. - 2009. - P.200–204.
135. Guo S. An application of ontology to test case reuse / S. Guo, J. Zhang, W. Tong, and Z. Liu // Int. Conf. Mechatron. Sci. Electr. Eng. Comput. - 2011. - P.775–778.
136. Wang Y. Ontology-Based Test Case Generation for Testing Web Services. / Y. Wang, X. Bai, J. Li, and R. Huang // Autonomous Decentralized Systems: ISADS ’07. Eighth International Symposium. - 2007. - P.43–50.
137. Rauf A.Ontology driven semantic annotation based GUI testing. / A. Rauf, S. Anwar, M. Ramzan, S. ur Rehman, and A. A. Shahid // Emerg. Technol. (ICET). Proc.6th Int. Conf. - 2010.
138. Li H. Ontology-Based Approach for GUI Testing / H. L. H. Li, F. C. F. Chen, H. Y. H. Yang, H. G. H. Guo, W. C.-C. Chu, and Y. Y. Y. Yang, // 33rd Annu. IEEE Int. Comput. Softw. Appl. Conf. - 2009. - Vol. 1.
139. Liu Y. Investigation of Knowledge Management Methods in Software Testing Process. / Y. Liu, J. Wu, X. Liu, and G. Gu // 2009 Int. Conf. Inf. Technol. Comput. Sci. - 2009. - P.90–94.
140. Arnicans G. Semi-automatic generation of a software testing lightweight ontology from a glossary based on the ONTO6 methodology. / G. Arnicans, D. Romans, and U. Straujums // Front. Artif. Intell. Appl. - 2013. - Vol. 249. - P.263–276.
141. ISO/IEC/IEEE 29119-2: Test Processes. -[Electronic resource]. –Access mode: http://www.softwaretestingstandard.org/part2.php.
142. Myers, G. J. The Art of Software Testing. / Myers, G. J., Thomas, T. M., Sandler C.- John Wiley & Sons, 2004.
143. Lewis W. E. Software Testing and Continuous Quality Improvement / Lewis W. E., Bassetti W.H.C. - Auerbach, 2004.
144. Dustin E. Automated software testing: introduction, management, and performance. / Dustin E., Rashka J., Paul J. - Addison-Wesley, 1999.
145. Kelly M. Choosing test automation framework / Kelly M. // .-[Electronic resource]. - Access mode: http://www.ibm.com/ developerworks/ rational/ library /591.html.
146. Baker P. Model-Driven Testing. / Baker P., Ru Z., Jens D., Haugen Ø., Schieferdecker I. - Berlin Heidelberg: Springer-Verlag, 2008.
147. Ferraiolo D. Role-based access control. / Ferraiolo D., Kuhn D. R., Chandramouli R. - Artech House Publishers, 2007.
148. LaPadula L. J Secure Computer Systems: A Mathematical Model. / LaPadula L. J., Bell D. E. // Journal of Computer Security. - 1996. - Vol 4. - P.239-263.
149. Cho E.-A. Access Control Policy Management Framework based on RBAC in OSGi. / Cho E.-A., Moo, C.-J., Park D.-H., Baik D.-K. // Korean Studies. - 2006.
150. Зегжда Д. П. Общая схема мандатных моделей безопасности и ее применение для доказательства безопасности систем обработки информации ./ Зегжда Д. П. - СПб: СПбГТУ, 2000.
151. Степанов П. Г. Принципы управления доступом к ресурсам в защищенной ОС "Феникс". / Степанов П. Г. // Проблемы информационной безопасности. Компьютерные системы. - 1999.
152. Harrison M. A. Protection in operating systems. / Harrison M. A., Ruzzo W. L., Ullman J. D. // Communications of the ACM. - 1976. - Vol.19. - P.461-471.
153. Ferraiolo D. F. Role-Based Access Control (RBAC) / Ferraiolo D. F., Kuhn R .// Proc 15th NISTNSA National Computer Security Conference. - 1992. - P.1-5.
154. Parducci B. XACML V.3.0 Core and Hierarchical Role Based Access Control (RBAC) Profile Version 1.0 / Parducci, B., Lockhart, H., Rissanen, E // Control. - 2010. - P.1-25.
155. Майоров А. В. Улучшенная ролевая модель управления доступом. / Майоров А. В. // .-[Electronic resource]. - Access mode: http://blogs.byte-force.com/media/p/1147/download.aspx.
156. Autorization manager model.-[Electronic resource].- Access mode: http://msdn.microsoft.com/en-us/library/aa?375758(VS.85).aspx.
157. Баранов А. П. Теоретические основы информационной безопасности. / Баранов А. П., Зегжда Д. П., Ивашко А. М. - Спб: СПбГТУ, 1998.
158. Beyond Roles: A Practical Approach to Enterprise User Provisioning. // .-[Electronic resource]. - Access mode: http://www.idsynch.com/docs/beyond-roles.html.
159. Karp A. H. From ABAC to ZBAC: The Evolution of Access Control Models. / Karp A. H., Haury H., Davis M. H. // Control. -2009. - April. - P. 22-30.
160. Sandhu R. Usage Control: A Vision for Next Generation Access Control. / Sandhu R., Park J. Usage Control // Control. -2003.- Vol.2776.- P. 17-31.
161. Thomas R. K. , Sandhu R. S. Conceptual Foundations for a Model of Task-based Authorizations. / Thomas R. K. , Sandhu R. S. //Proceedings of the 7th IEEE Computer Security FoundationsWorkshop. - 1994. - Vol. 39, No. 1.- P 66-79.
162. Barborack M. The Consensus Problem in Fault-Tolerant Computing. / Barborack M. // ACM Computing Surveys. - 1993. - Vol.25. - P.171-220.
163. Friedman A. System-Level Fault Diagnosis / Friedman A., Simoncini L // Computer,. - 1980. - P.33-47.
164. Preparata А. On the Connection Assignement Problem of diagnosible systems. / / Preparata А., Metze G., Chien R. // IEEE transactions on electronic computers. - 1967. - Vol. EC-16. - P.848-854.
165. Lamport L The byzantine generals problem. / Lamport L., Shostak R., Pease M. // ACM Transactions on Programming Languages and Systems. - 1982. - Vol. 4. - P.382-401.
166. Крамаренко М. Б. Модели диагностирования отказов параллельной вычислительной системы. / Крамаренко М.Б. // Электронное моделирование.. - 1989. - Vol.3. - С.60-65.
167. Tourism 2020 vision // .-[Electronic resource].-. - Access mode: http://www.unwto.org/facts/eng/vision.htm.
168. Cardoso J. E-Tourism: Creating Dynamic Packages using Semantic Web Processes. / Cardoso J. // .-[Electronic resource]. - Access mode: www.w3.org/%202005/04/FSWS%20/Submissions%20/16/%20paper.html.
169. Жежнич П. Проблеми комплексної автоматизації в готельному бізнесі. / Жежнич П., Медведев В. // Вісник національного університету "Львівська політехніка" " Інформаційні системи та мережі". - 2004. - С.115-121.
170. Кузнецов С. От баз данных к пространствам данных: новая абстракция управления информацией.// Кузнецов С. // .-[Electronic resource]. - Access mode: www.citforum.ru/%20database/articles/from_db_to_ds.
171. Шаховська Н. Простори даних: гносеологія, концепції та тенденції розвитку. / Шаховська Н. // Вісник національного університету "Львівська політехніка" " Інформаційні системи та мережі". - 2008. - Vol.610. - С.254-266.
172. Allemang D. Semantic Web for the Working Ontologist. / Allemang D., Hendler J. - Morgan Kaufmann Publishers, 2008.
173. Hepp M. Towards the Semantic Web in e-Tourism: Lack of Semantics or Lack of Content? / Hepp M., Siorpaes K., Bachlechner D // Poster Proceedings of the 3rd Annual European Semantic Web Conference ESWC 2006.
174. Hepp M. Towards The Semantic Web In E-Tourism: Can Annotation Do The Trick?/ / Hep M., Siorpaes K., Bachlechner D. // .-[Electronic resource]. - Access mode: www.heppnetz.de.
175. Буров Є. В. Трасування з’єднань в інструментальній програмі проектування розподілених інформаційних систем. / Буров Є. В. // Вісник національного університету "Львівська політехніка" "Комп’ютерна інженерія та інформаційні технології". - Львів: вид-во Львівської політехніки, 1995. - № 294. – С.74-78.
176. Буров Є. В. Архітектура інструментального комплексу для моделювання інтелектуальних систем. / Буров Є. В. // Вісник національного університету "Львівська політехніка" "Комп'ютерні науки та інформаційні технології". - Львів: вид-во Львівської політехніки. - № 686. – С.34-43.
177. XML sucks. [Electronic resource].- Режим доступу: http://c2.com/cgi/wiki?XmlSucks
178. ISO/IEC 9126-1:2001. Software engineering -- Product quality -- Part 1: Quality model. - [Electronic resource]. - Access mode: http://www.iso.org/iso/catalogue_detail.htm?csnumber=22749
179. ISO 8402:1994. Quality management and quality assurance – Vocabulary. -[Electronic resource]. - Access mode: http://www.iso.org/iso/ catalogue_detail.htm? csnumber=20115
180. ISO/IEC 25010:2011. Systems and software engineering -- Systems and software Quality Requirements and Evaluation (SQuaRE) -- System and software quality models. - [Electronic resource]. - Access mode: http://www.iso.org/iso/home/store/catalogue_ics/catalogue_detail_ics.htm?csnumber=35733
181. ГОСТ 28195-89 Оценка качества программных средств. Общие положения. – [Electronic resource]. - Access mode: http://www.gametest.ru/doc/sw/28195_89.pdf
182. Милютин А. Метрики кода программного обеспечения. /А. Милютин. – [Електронний ресурс].- Режим доступу: http://www.viva64.com/ru/a/0045/