Les chorégraphies de services web définissent le comportement attendu de services web participant, via des échanges de messages, à l'implémentation d'applications métier complexes et inter-entreprises. Lors de la sélection d'un service, il devient alors important de vérifier que le comportement du service est conforme à la chorégraphie voulue, y compris du point de vue non fonctionnel. Dans cet article le comportement des services est décrit à l'aide de protocoles métiers, c'est-à-dire les suites de messages pouvant être échangés par un service. La vérification d’aspect non fonctionnel est illustrée À travers la spécification des contrôles d'accès via une ontologie. Nous présentons une notion de compatibilité permettant la sélection de service, ainsi que l'algorithme de vérification correspondant.