Шкарупило, Вадим ВікторовичShkarupylo, Vadym V.Шкарупило, Вадим ВикторовичКудерметов, Равіль КаміловичKudermetov, Ravil K.Кудерметов, Равиль Камилович2015-03-232015-03-2320121996-1588http://eir.zntu.edu.ua/handle/123456789/193Shkarupylo V.V. An Approach to Composite Web Services Formal Verification / V.V. Shkarupylo, R.K. Kudermetov // Наукові праці Донецького національного технічного університету. Серія: Інформатика, кібернетика та обчислювальна техніка. – Донецьк : ДонНТУ, 2012. – Вип. 16 (204). – С. 129 – 133.UK: Запропоновано спосіб специфікації динамік композитних веб-сервісів на основі формалізму TLA. Запропоновано підхід до верифікації TLA-специфікацій композитних веб-сервісів на основі використання засобу TLC Model Checker у складі програмного інструментарію TLA Toolbox 1.4. EN: The Composite Web Services behaviors specification technique based on TLA-formalism has been proposed. An approach to Composite Web Services formal TLA-specifications Verification based on TLA Toolbox 1.4 TLC Model Checker component usage has been provided. RU: Предложен способ специфицирования динамик композитных веб-сервисов на основе формализма TLA. Предложен подход к верификации TLA-спецификаций композитных веб-сервисов на основе использования средства TLC Model Checker в составе программного инструментария TLA Toolbox 1.4.en-USкомпозитний веб-сервісдинамікаTLAформальна специфікаціяверифікаціяModel CheckingComposite Web ServiceBehaviorFormal SpecificationVerificationформальная спецификацияArticle