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.
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: 15 Apr 2021 *