Computational Analysis of Interacting Web Services: a Logical Approach

Philippe Balbiani (1, 2) , Fahima Cheikh-Alili (3)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique
3 IRIT - Institut de recherche en informatique de Toulouse

Web services composition is the interleaving of actions sequences in accordance with a client specification. In this paper we consider a Web services model where services are able to execute actions and send and receive messages. We define, for this model, the composition problem and study its decidability

Mots clés: Web services; composition problem; decidability issues

Domaines: Intelligence artificielle [cs.AI]

Philippe Balbiani, Fahima Cheikh-Alili. Computational Analysis of Interacting Web Services: a Logical Approach. [Research Report] IRIT : Institut de recherche en informatique de Toulouse. 2010, pp.1-18. ⟨hal-00872818⟩