Title: A timed semantics for web services composition

Authors: Imed Eddine Chama; Nabil Belala; Djamel Eddine Saϊdouni

Addresses: MISC Laboratory, Computer Science and Applications Department, University of Abdelhamid Mehri – Constantine 2, Constantine, Algeria ' MISC Laboratory, Computer Science and Applications Department, University of Abdelhamid Mehri – Constantine 2, Constantine, Algeria ' MISC Laboratory, Computer Science and Applications Department, University of Abdelhamid Mehri – Constantine 2, Constantine, Algeria

Abstract: This paper introduces a method to analyse and verify the BPEL language. We propose a transformation approach based on the translation of BPEL descriptions to the communicating durational action timed automata (C-DATA) model which is a distributed, real-time semantic model that is based on true-concurrency semantics and supports the distributed and the communicating aspects. In order to handle compositions of multiple web services and exchanged messages between them we represent each BPEL service by a local C-DATA, while the global system is represented by all these local C-DATAs. These local C-DATAs communicate with each other by exchanging messages through communication channels. This approach considers both timing constraints and interaction durations between web services.

Keywords: web services; business process execution language; BPEL; semantics; behaviour; real-time model; communicating durational action timed automata; C-DATA; timed constraints; web service composition.

DOI: 10.1504/IJBPIM.2017.082765

International Journal of Business Process Integration and Management, 2017 Vol.8 No.1, pp.64 - 79

Accepted: 13 Oct 2016
Published online: 10 Mar 2017 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article