Formalisation d'un contrat de service

Bonjour,

Je suis actuellement en course de construction d'une plateforme de service. Et j'aimerais savoir comment formaliser simplement les contrats de service à destination des applications clientes.
A l'heure actuelle nous avons une modélisation UML des services et du modèle.
Or en avançant dans le projet, il apparaît que cette modélisation n'est pas suffisante ou pas assez "linéaire" pour les applications clientes - des incompréhensions apparaissent.

Ainsi comment formaliser-vous de manière claire, linéaire, et assez fermé (pas de place aux suppositions) des contrats de services ? Est ce que les WSDL suffisent ?
Existe-t-il un formalisme autre permettant de définir un contrat de service pour un service Web ou toute autre chose.

Pour moi un contrat de service doit contenir :

- la liste des services disponibles avec leurs signatures et leurs descriptions fonctionnelles
- la description du modèle
- liste des règles métiers implémentés par service sous forme de listing
- exemple d'instanciation du modèle