Комплексный подход к автоматизации композиции веб-сервисов
EIRZNTU - Electronic Institutional Repository of Zaporizhzhia National Technical University
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Комплексный подход к автоматизации композиции веб-сервисов
The comprehensive approach to Web Service Composition automation Комплексний підхід до автоматизації композиції веб-сервісів |
|
Creator |
Шкарупило, Вадим Вікторович
Shkarupylo, Vadym V. Шкарупило, Вадим Викторович Кудерметов, Равіль Камілович Kudermetov, Ravil K. Кудерметов, Равиль Камилович |
|
Subject |
Web Service Composition
WS-BPEL TLA DEVS QoS |
|
Description |
Шкарупило В.В. Комплексный подход к автоматизации композиции веб-сервисов / В.В. Шкарупило, Р.К. Кудерметов // Науковий вісник Чернівецького національного університету імені Юрія Федьковича. Серія: комп’ютерні системи та компоненти. – Чернівці : ЧНУ, 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 и акценти-рующийся на аспектах верификации, валида-ции и планирования. |
|
Date |
2015-03-24T09:26:13Z
2015-03-24T09:26:13Z 2011 |
|
Type |
Article
|
|
Identifier |
http://eir.zntu.edu.ua/handle/123456789/227
|
|
Language |
ru
|
|
Publisher |
ЧНУ ім. Ю. Федьковича
|
|