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 *