Java

Annotations Post/Précondictions et WSDL

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : Annotations Post/Précondictions et WSDL

charlebakhtovsky

Bonjour,

Je voudrais utiliser des annotations sur les méthodes (ou autres) d'un Web Service pour donner une spécification formelle de la capacité du Web Service, en utilisant des préconditions (require) et postconditions (ensure). Bon un exemple simple de code source qu'on peut trouver sur Wikipedia est:

Code :

public class CompteBancaireExemple {
private int solde;
private boolean isLocked = false;
//@ invariant solde >= 0 && solde <= 1000;
//@ ensures solde == 0;
public CompteBancaireExemple() { ... }
//@ requires montant > 0;
//@ ensures solde == \old(solde) + montant;
public void crediter(int montant) { ... }
//@ requires montant > 0;
//@ ensures solde == \old(solde) - montant;
public void debiter(int montant) { ... }
//@ ensures isLocked == true;
public void lockCompte() { ... }
}

Je voudrais ensuite que le consommateur du Web Service puisse avoir ces spécifications (annotations). Est ce que avec ces annotations, l'interface du Web Service (WSDL) que le consommateur aura, contiendra ces annotation ?

Merci.

Publicité

charlebakhtovsky

TotalRecall

Ca peut peut être se documenter dans le WSDL/XSD mais à part ça t'attends pas à ce que ça impacte le code du langage qui viendra consommer ton service...

Message cité 1 fois

---------------
Topic .Net - C# @ Prog

charlebakhtovsky

TotalRecall a écrit :

Ca peut peut être se documenter dans le WSDL/XSD mais à part ça t'attends pas à ce que ça impacte le code du langage qui viendra consommer ton service...

Quel est selon vous le moyen approprié pour que le consommateur du Web Service ait ces spécifications formelles (conditions pré et poste représentés comme des assertions logiques) ?

Le but c'est qu'en ayant ces assertions en place, le consommateur peut utiliser des techniques de raisonnement automatique pour prouver les propriétés du service, et l'utiliser dans une implémentation tout en ayant la possibilité de prouver qu'il est formellement correcte.

Merci.

FORUM HardWare.fr

Programmation

Java

Annotations Post/Précondictions et WSDL

Sujets relatifs
[résolu] Paramètre POST dans une ligne de commande wget	Javascript pour post facebook
Déploiement de WebService (problème avec mon WSDL)	Pb Latest Post Jquery
POST et GET : est ce la bonne méthode ?	voir 4 eme reponse probleme chonometre
soucis de POST-GET UTF8 etc etc	$_POST et récupération d'une valeur
define et $_POST	[WSDL / VB] Pb d'authentification
Plus de sujets relatifs à : Annotations Post/Précondictions et WSDL

Page générée en 0.042 secondes