Search academic texts

Information × Registration Number 0414U002395, Candidate dissertation Status к.т.н. Date 29-05-2014 popup.evolution o Title Composite Web Services Specification, Verification and Validation Models and Methods Development and Investigation Author Shkarupylo Vadym Viktorovych, popup.head Kudermetov Ravil Kamilovych popup.opponent Святний Володимир Андрійович popup.opponent Мохор Володимир Володимирович popup.opponent Лукашенко Вікторія Вікторівна Description Дисертацію присвячено розробці й дослідженню моделей і методів формальних специфікації і верифікації, а також валідації композитних веб-сервісів з метою підвищення ефективності проектування корпоративних розподілених комп'ютерних систем на основі СОА. Розроблено підхід до проектування композитних веб-сервісів, що дозволило здійснювати при проектуванні верифікацію і валідацію. Запропоновано формальну модель TLA-специфікацій функціональних характеристик композитних веб-сервісів, що дозволило підвищити ефективність проектування на 3% за критерієм поліпшення узгодженості взаємодії компонентів. Запропоновано метод формальної верифікації TLA-специфікацій функціональних характеристик композитних веб-сервісів, що дозволило підвищити ефективність проектування на 4%. Запропоновано імітаційну DEVS-модель композитного веб-сервісу у якості засобу валідації. Ключові слова: СОА, композитний веб-сервіс, специфікація, верифікація, валідація, WS-BPEL, TLA, DEVS. Registration Date 2014-05-29 popup.nrat_date 2020-04-04 Close