Title: Decidability of compatibility for data-centric web services

Authors: Mohamed Said Mehdi Mendjel; Hassina Seridi-Bouchelaghem

Addresses: Labged Laboratory Department of Computer Science, Badji Mokhtar University, Annaba, Algeria ' Labged Laboratory Department of Computer Science, Badji Mokhtar University, Annaba, Algeria

Abstract: The problem of checking compatibility of data-centric services is discussed herein. It focuses, more specifically, on compatibility of data-centric services' protocols such that a service protocol is the description of the service's external behaviour. Our study comprises two parts: the first part consists of checking the services' protocols compatibility, which is represented by the same database instance with different queries. Here, we prove that the verification problem is decidable; the second part consists of studying the same problem but including a database. Hence, the problem of data infinity, which remains undecidable although the use of classic verification algorithms. This study is concluded by the implementation of a verification tool based specifically on guarded services with a finite database.

Keywords: artefacts; business protocols; data-centric services; infinity of data; compatibility of web services.

DOI: 10.1504/IJCAET.2021.115354

International Journal of Computer Aided Engineering and Technology, 2021 Vol.14 No.4, pp.530 - 555

Received: 23 Oct 2017
Accepted: 04 Oct 2018
Published online: 01 Jun 2021 *

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