Computational Analysis of Interacting Web Services: a Logical Approach
Résumé
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
Domaines
Intelligence artificielle [cs.AI]
Origine : Fichiers produits par l'(les) auteur(s)