Decidability of compatibility for data-centric web services
by Mohamed Said Mehdi Mendjel; Hassina Seridi-Bouchelaghem
International Journal of Computer Aided Engineering and Technology (IJCAET), Vol. 14, No. 4, 2021

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.

Online publication date: Tue, 01-Jun-2021

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Computer Aided Engineering and Technology (IJCAET):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com