Пошук академічних текстів

Інформація × Реєстраційний номер 0414U002395, Кандидатська дисертація На здобуття к.т.н. Дата захисту 29-05-2014 Статус Запланована Назва роботи Розробка й дослідження моделей і методів специфікації, верифікації і валідації композитних веб-сервісів Здобувач Шкарупило Вадим Вікторович, Керівник Кудерметов Равіль Камілович Опонент Святний Володимир Андрійович Опонент Мохор Володимир Володимирович Опонент Лукашенко Вікторія Вікторівна Опис Дисертацію присвячено розробці й дослідженню моделей і методів формальних специфікації і верифікації, а також валідації композитних веб-сервісів з метою підвищення ефективності проектування корпоративних розподілених комп'ютерних систем на основі СОА. Розроблено підхід до проектування композитних веб-сервісів, що дозволило здійснювати при проектуванні верифікацію і валідацію. Запропоновано формальну модель TLA-специфікацій функціональних характеристик композитних веб-сервісів, що дозволило підвищити ефективність проектування на 3% за критерієм поліпшення узгодженості взаємодії компонентів. Запропоновано метод формальної верифікації TLA-специфікацій функціональних характеристик композитних веб-сервісів, що дозволило підвищити ефективність проектування на 4%. Запропоновано імітаційну DEVS-модель композитного веб-сервісу у якості засобу валідації. Ключові слова: СОА, композитний веб-сервіс, специфікація, верифікація, валідація, WS-BPEL, TLA, DEVS. Дата реєстрації 2014-05-29 Додано в НРАТ 2020-04-04 Закрити