A Simulation-driven Approach for Composite Web Services Validation

Archive - Central European Conference on Information and Intelligent Systems, CECIIS - 2016

Vadym Viktorovych Shkarupylo

Last modified: 2016-08-29

Abstract

The approach for Composite Web Services validation has been proposed. It's based on DEVS-formalism usage, which provides the ability to conduct validation by way of simulation. The WS-BPEL-description has been considered as an input data. The Temporal Logic of Actions (TLA) has been chosen to check the description.

The proposed approach provides the ability to perform validation with no need to deploy Composite Web Service.

To check the proposed approach the case study has been conducted. For this purpose the testing-driven and the simulation-driven validations have been performed. The results obtained have shown the approach applicability.