Комплексный подход к автоматизации композиции веб-сервисов

Abstract

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 и акценти-рующийся на аспектах верификации, валида-ции и планирования.