Dans les architectures orientées services(SOA), la modélisation des PS des fournisseurs et consommateurs de services se fait communément avec le standard WS-SecurityPolicy(WS-SP). Cependant, ce standard permet seulement l'alignement syntaxique de PS. Ceci influe négativement sur la correction et la précision du résultat d'alignement...