Досліджено розробку моделей таі методів формальних специфікації та верифікації, а також валідації композитних веб-сервісів з метою підвищення ефективності проектування розподілених комп'ютерних систем корпоративного призначення на основі сервіс-орієнтованої архітектури. Проведено порівняльний аналіз підходів до проектування композитних веб-сервісів. На підставі проведеного аналізу запропоновано власний комплексний підхід, згідно котрого під час проектування здійсненого в автоматизованому режимі підлягають перевірці функціональних характеристик таких систем, так і оцінка придатності останніх до цільового використання. Процес проектування композитних веб-сервісів представлено послідовністю трьох етапів - початковим етапом специфікації (автоматизованого синтезу формальних TLA-специфікацій функціональних характеристик), етапом верифікації (автоматизованої перевірки синтезованих специфікацій модельно-орієнтованим методом формальної верифікації) та заключним етапом валідації шляхом імітаційного моделювання на основі формалізму DEVS. Розроблено стратифіковану формальну модель TLA-специфікацій функціональних характеристик композитних веб-сервісів. Експериментальним шляхом підтверджено доцільність використання розробленої моделі на початковому етапі запропонованого комплексного підходу до проектування композитних веб-сервісів як засіб підвищення ефективності проектування. Для автоматизованої перевірки TLA-специфікацій функціональних характеристик композитних веб-сервісів, синтезованих на основі запропонованої с тратифікованої моделі, розроблено модельно-орієнтований метод формальної верифікації таких специфікацій. Розроблено дискретно-подійну імітаційну DEVS-модель композитного веб-сервісу як засобу валідації. Запропоновано правила синтезу DEVS-моделей на основі TLA-специфікацій функціональних характеристик композитних веб-сервісів.

• Шкарупило Вадим Вікторович (1988–) (технічні науки)

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