Наукова періодика України Проблеми програмування


Chebanyuk O. V. 
Formal foundations for software model to model transformation operation / O. V. Chebanyuk // Проблеми програмування. - 2018. - № 2-3. - С. 124-131. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2018_2-3_16
Операції перетворення моделей програмного забезпечення є центральними операціями у модельно-орієнтованих підходах розробки програмного забезпечення. Для представлення моделей програмного забезпечення використовуються графічні нотації мов моделювання, наприклад UML. Якість одержаної моделі програмного забезпечення після трансформації визначає ефективність операцій подальшої її обробки. Це визначає актуальність завдання розробки нових формальних підходів для трансформації моделей програмного забезпечення. Такі підходи забезпечують підгрунтя для гнучкої адаптації технік і підходів трансформації з урахуванням особливостей процесів життєвого циклу програмної розробки програмного забезпечення. Сформульовано вимоги до аналітичних інструментів і правил трансформації, які застосовуються для розробки підходів трансформації моделей. Наведено обгрунтування вибору аналітичних інструментів, що відповідають цим вимогам. Наведено підхід проведення операції трансформації моделі в модель, який базується на графовому перетворенні. Операції трансформації розглядаються на мета рівні та на рівні детального опису моделей. Вихідною інформацією для трансформації слугує множина підграфів. Правила трансформації задаються за допомогою логік першого і другого порядку. На рівні преставлення елементів моделей програмного забезпечення для задання правил трансформації використовується логіка першого порядку, на рівні опису типів елементів використовується логіка другого порядку. Представлений підхід є розширюваним та може використовуватися під час модифікації існуючих середовищ перетворення моделей. Наприклад у MEDINI QVT відсутня можливість сформувати правила трансформації моделей, що включають елементи, які не зв'язані безпосередньо на UML діаграмі.
  Повний текст PDF - 458.795 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Chebanyuk O.

  • Бібліографічний опис для цитування:

    Chebanyuk O. V. Formal foundations for software model to model transformation operation / O. V. Chebanyuk // Проблеми програмування. - 2018. - № 2-3. - С. 124-131. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2018_2-3_16.

      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського