Compatibility between DAXML Schemas

Benoît Masson 1, * Loïc Hélouët 1, * Albert Benveniste 2
* Auteur correspondant
1 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : Dans le domaine des architectures de services web, la composition de services est un défi majeur devant permettre d'obtenir des applications à grande échelle. Avant d'utiliser un service, un créateur d'application doit s'assurer que ce service est compatible avec ses besoins. Cela implique non seulement que les plages d'entrée et de sortie du service satisfont à certains critères, mais également que le service garantisse un retour. Dans cet article, nous nous intéressons à la compatibilité entre modules décrits à l'aide de Distributed Active XML (DAXML), un langage pour la mise en oeuvre de services web. Nous montrons dans un premier temps que le comportement de spécifications DAXML non-récursives et à données finies peut être représenté par un réseau de Petri borné. Nous exprimons alors la compatibilité entre services DAXML en termes d'espace d'accueil du réseau de Petri sous-jacent. Nous utilisons ces constructions pour définir la compatibilité entre modules DAXML, et montrer sa décidabilité. Nous terminons en proposant un semi-algorithme permettant de vérifier plus rapidement la compatibilité entre des ensembles quelconques de modules, sans pour cela avoir besoin de construire l'intégralité du réseau de Petri décrivant leur comportement global.
Type de document :
Rapport
[Research Report] RR-7559, INRIA. 2011, pp.36
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00573774
Contributeur : Loic Helouet <>
Soumis le : vendredi 4 mars 2011 - 16:02:14
Dernière modification le : mercredi 16 mai 2018 - 11:23:05

Fichier

RR-7559.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00573774, version 1

Citation

Benoît Masson, Loïc Hélouët, Albert Benveniste. Compatibility between DAXML Schemas. [Research Report] RR-7559, INRIA. 2011, pp.36. 〈inria-00573774〉

Partager

Métriques

Consultations de la notice

667

Téléchargements de fichiers

169