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.