Шкарупило, Вадим ВікторовичShkarupylo, Vadym V.Шкарупило, Вадим ВикторовичКудерметов, Равіль КаміловичKudermetov, Ravil K.Кудерметов, Равиль Камилович2015-03-242015-03-242011http://eir.zntu.edu.ua/handle/123456789/227Шкарупило В.В. Комплексный подход к автоматизации композиции веб-сервисов / В.В. Шкарупило, Р.К. Кудерметов // Науковий вісник Чернівецького національного університету імені Юрія Федьковича. Серія: комп’ютерні системи та компоненти. – Чернівці : ЧНУ, 2011. – № 1, Том 2. – С. 114–120.UK: Проведено аналіз проблеми автоматизації композиції веб-сервісів. Запропоновано критерії аналізу під-ходів до автоматизації композиції веб-сервісів. На основі запропонованих критеріїв розроблено підхід, що передбачає виконання формальної специфікації композиції на мові темпоральної логіки TLA та акцентуєть-ся на аспектах верифікації, валідації та планування. EN: The analysis of Web Service Composition automation challenge has been conducted. The criterions for the analysis of approaches to Web Service Composition automation have been proposed. The approach based on these criterions has been developed. The approach envisages composition formal specification by using TLA temporal logic and covers the aspects of verification, validation and planning. RU: Проведен анализ проблемы автоматизации композиции сервисов. Предложены критерии анализа подходов к автоматизации композиции сервисов. На основе предложенных критериев разработан подход, предполагающий выполнение формальной спецификации композиции на языке темпоральной логики TLA и акценти-рующийся на аспектах верификации, валида-ции и планирования.ruWeb Service CompositionWS-BPELTLADEVSQoSArticle