АЛГЕБРА ДЛЯ МОДЕЛЮВАННЯ ВЗАЄМОДІЇ WEB-СЕРВІСІВ

Анотація

Представлена алгебра для моделювання взаємодії web-сервісів. В якості основних базових конструкцій для алгебри використовуються: послідовність,  альтернативний вибір та цикл. Крім того, визначено комбіновані конструкції, якими є паралельність, довільна послідовність, дискримінатор   та динамічний вибір. Конструкції були обрані для забезпечення загального та розширеного набору операцій для комбінації web-сервісів. Після визначення кожної конструкції дається формальна семантика оператора в термінах мереж Петрі. Наведено приклад взаємодії web-сервісів.