Decidability of compatibility for data-centric web services
Hassina Seridi Bouchelaghem, Mohamed Said Mehdi Mendjel · International Journal of Computer Aided Engineering and Technology · 2021
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.