Parametrized automata simulation and application to service composition - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Symbolic Computation Année : 2015

Parametrized automata simulation and application to service composition

Résumé

The service composition problem asks whether, given a client and a community of available services, there exists an agent (called the mediator) that suitably delegates the actions requested by the client to the available community of services. We address this problem in a general setting where the agents communication actions are parametrized by data from an infinite domain and possibly subject to constraints. For this purpose, we define parametrized automata (PAs), where transitions are guarded by conjunction of equalities and disequalities. We solve the service composition problem by showing that the simulation preorder of PAs is decidable and devising a procedure to synthesize a mediator out of a simulation preorder. We also show that the Nonemptiness problem of PAs is PSPACE-complete.
Fichier principal
Vignette du fichier
Belkhir_2015.pdf (426.69 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01089128 , version 1 (11-03-2024)

Licence

Paternité

Identifiants

Citer

Walid Belkhir, Yannick Chevalier, Michael Rusinowitch. Parametrized automata simulation and application to service composition. Journal of Symbolic Computation, 2015, 69, pp.40--60. ⟨10.1016/j.jsc.2014.09.029⟩. ⟨hal-01089128⟩
339 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More