Шкарупило В. В. Розробка й дослідження моделей і методів специфікації, верифікації і валідації композитних веб-сервісів

Дисертацію присвячено розробці й дослідженню моделей і методів формальних специфікації і верифікації, а також валідації композитних веб-сервісів з метою підвищення ефективності проектування корпоративних розподілених комп'ютерних систем на основі СОА. Розроблено підхід до проектування композитних веб-сервісів, що дозволило здійснювати при проектуванні верифікацію і валідацію. Запропоновано формальну модель TLA-специфікацій функціональних характеристик композитних веб-сервісів, що дозволило підвищити ефективність проектування на 3% за критерієм поліпшення узгодженості взаємодії компонентів. Запропоновано метод формальної верифікації TLA-специфікацій функціональних характеристик композитних веб-сервісів, що дозволило підвищити ефективність проектування на 4%. Запропоновано імітаційну DEVS-модель композитного веб-сервісу у якості засобу валідації. Ключові слова: СОА, композитний веб-сервіс, специфікація, верифікація, валідація, WS-BPEL, TLA, DEVS.