Skalozub V. Ontological support formation for constructive-synthesizing modeling of information systems development processes / V. Skalozub, V. Ilman, V. Shynkarenko // Вост.-Европ. журн. передовых технологий. - 2018. - № 5/4. - С. 55-63. - Бібліогр.: 26 назв. - англ.Глобалізація інформаційних систем (ІС) у процесі постійної експлуатації та модернізації породжує нові проблеми, виявляє особливості представлення завдань розвитку ІС. Такою складною галузевою ІС, що вимагає відповідної онтологічної підтримки, є автоматизована система управління вантажними перевезеннями (АСК ВП УЗ-Є). Розвиток інформаційних підсистем інфраструктури, рухомого та тягового складу, управління рухом, фінансів, кадрів і ряду інших вимагають взаємопов'язаного розвитку онтологічного забезпечення. З урахуванням цього розроблено методи та засоби онтологічного забезпечення конструктивно-продукційного моделювання (ОКПМ), призначені для підтримки процесів багатоетапного створення, тривалого періоду функціонування і постійного розвитку АСК ВП УЗ-Є. Отримані результати характеризуються універсалізмом, забезпечують можливості подання еволюції об'єкта (ІС) і змісту онтологій в ОКПМ. Побудову моделей і методів ОКПМ отримано шляхом розширення відносин і відображень, а також за рахунок створення нових структур породження, доповнення класів сигнатур новими відносинами з конструювання. При цьому отримала розвиток модель єдиної, універсальної та такої, що налаштовується на різні предметні області онтологічної конструктивної структури (ОКС). ОКС враховує вимоги щодо поданням процесів розширення предметної області, а також уніфікації знань. Для завдань КПМ створені методи та засоби моделювання процесів концептуалізації об'єктів, що розвиваються, побудовано конструктивну обчислення класу відображень погоджування, а також методи конструювання онтологічних об'єктів вищого порядку. Для онтологічної підтримки процесів КПМ за умов розширення предметних областей вдосконалено методи виведення в моделі конструктивної структурі ОКПМ, запропоновано процедури змістовної, структурної та пов'язаної виводимості, а також багаторівневі методи виведення. Наведено приклади реалізації діючих в даний час у автоматизованій системі АСК ВП УЗ-Е процедур створення нових додатків, з використанням запропонованих засобів КПМ. Приклади демонструють достатність розроблених моделей і засобів ОКПМ щодо реалізації діючих процедур розвитку і супроводу складних залізничних АСУ. Індекс рубрикатора НБУВ: О184 + О17
Рубрики:
Шифр НБУВ: Ж24320 Пошук видання у каталогах НБУВ
Повний текст Наукова періодика України Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) ![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|