Langage de description de services web (WSDL) version 2.0 tome 2 — Compléments

2.1.1 Nom du modèle

Ce modèle comprend [nombre] message[s, en ordre] comme suit :

[énumeration, définissant chaque message] Un message [optionnel] :

1. indiqué par un composant Interface Message Reference dont la propriété {message label} est "[intitulé]" et la propriété {direction} est "[direction]"

2. [reçu|envoyé] [(du|au), ou (d'un|à un) si première mention] nœud [identificateur du nœud]

Ce modèle utilise la règle [référence de règlement d'incident].

Un composant Interface Operation utilisant ce modèle d'échange de messages a une propriété {message exchange pattern} avec la valeur "[adresse IRI du modèle]".

2.2.1 Règle de propagation Fault Replaces Message

Lorsque la règle de propagation Fault Replaces Message est en vigueur, tout message après le premier dans le modèle PEUT être remplacé par un message d'incident, lequel DOIT avoir une direction identique ^†. Le message d'incident DOIT être livré au même nœud cible que le message qu'il remplace, sauf indication contraire par une extension ou une extension de liaison. S'il n'y a pas de chemin vers ce nœud, l'incident DOIT être jeté ^†.

La règle de propagation Fault Replaces Message est identifiée par l'adresse URI suivante : http://www.w3.org/ns/wsdl/fault-replaces-message

2.2.2 Règle de propagation Message Triggers Fault

Lorsque la règle de propagation Message Triggers Fault est en vigueur, tout message y compris le premier dans le modèle PEUT déclencher un message d'incident, lequel DOIT avoir une direction opposée ^†. Le message d'incident DOIT être livré à l'émetteur du message de déclenchement, sauf indication contraire par une extension ou une extension de liaison. Tout nœud PEUT propager un message d'incident, et il NE DOIT PAS le faire plus d'une fois pour chaque message de déclenchement. S'il n'y a pas de chemin vers l'émetteur, l'incident DOIT être jeté ^†.

La règle de propagation Message Triggers Fault est identifié par l'adresse URI suivante : http://www.w3.org/ns/wsdl/message-triggers-fault

2.2.3 Règle de propagation No Faults

Lorsque la règle de propagation No Faults est en vigueur, les incidents NE DOIVENT PAS être propagés ^†.

La règle de propagation No Faults est identifiée par l'adresse URI suivante : http://www.w3.org/ns/wsdl/no-faults

2.3.1 Modèle d'échange de messages In-Only

Le modèle d'échange de message in-only comprend un seul message exactement ^†, comme suit :

1. Un message :

   • indiqué par un composant Interface Message Reference dont la propriété {message label} est "In" et la propriété {direction} est "in" ;

   • reçu d'un nœud N.

Le modèle d'échange de messages in-only utilise la règle 2.2.3 Règle de propagation No Faults ^†.

Une opération utilisant ce modèle d'échange de messages a une propriété {message exchange pattern} avec la valeur "http://www.w3.org/ns/wsdl/in-only".

2.3.2 Modèle d'échange de messages Robust In-Only

Le modèle d'échange de message robust-in-only comprend un seul message exactement ^†, comme suit :

1. Un message :

   • indiqué par un composant Interface Message Reference dont la propriété {message label} est "In" et la propriété {direction} est "in" ;

   • reçu d'un nœud N.

Le modèle d'échange de messages robust-in-only utilise la règle 2.2.2 Règle de propagation Message Triggers Fault ^†.

Une opération utilisant ce modèle d'échange de messages a une propriété {message exchange pattern} avec la valeur "http://www.w3.org/ns/wsdl/robust-in-only".

2.3.3 Modèle d'échange de messages In-Out

Le modèle d'échange de messages in-out comprend deux messages exactement, en ordre ^†, comme suit :

1. Un message :

   • indiqué par un composant Interface Message Reference dont la propriété {message label} est "In" et la propriété {direction} est "in" ;

   • reçu d'un nœud N.

2. Un message :

   • indiqué par un composant Interface Message Reference dont la propriété {message label} est "Out" et la propriété {direction} est "out" ;

   • envoyé au nœud N.

Le modèle d'échange de messages in-out utilise la règle 2.2.1 Règle de propagation Fault Replaces Message ^†.

Une opération utilisant ce modèle d'échange de messages a une propriété {message exchange pattern} avec la valeur "http://www.w3.org/ns/wsdl/in-out".

3.1.1 Relation avec le modèle de composants WSDL

L'extension de sûreté ajoute les propriétés suivantes au modèle de composant Interface Operation (défini dans [WSDL 2.0 Core Language]) :

• {safe}, OBLIGATOIRE. Un type xs:boolean indiquant si l'invocation de l'opération est certifiée sûre pour les utilisateurs. Si cette propriété est "false", aucune déclaration n'a alors été faite à propos de la sûreté de l'opération, ainsi l'opération PEUT ou non être sûre Toutefois, une opération DEVRAIT être marquée comme sûre si elle satisfait aux critères d'interaction sûre définis à la section 3.4 dans [Web Architecture] ^†.

3.1.2 Représentation XML

<description>
 <interface>
   <operation name="xs:NCName" pattern="xs:anyURI"
              wsdlx:safe="xs:boolean"? >
  </operation>
 </interface>
</description>

La représentation XML de l'extension de sûreté est un item d'information d'attribut (attribute information item) avec les propriétés d'ensemble d'information (Infoset) suivantes :

• un item d'information d'attribut safe OPTIONNEL avec les propriétés d'ensemble d'information suivantes ^† :

  • un nom local [local name] de safe ;

  • un nom d'espace de noms [namespace name] de "http://www.w3.org/ns/wsdl-extensions" ;

  • un type de xs:boolean.

3.1.3 Correspondance de la représentation XML aux propriétés de composant

Cf.  le tableau 3-1.

4.1.1 Extension wrpc:signature

L'item d'information d'attribut d'extension wrpc:signature PEUT être utilisé conjointement au style RPC pour décrire la signature exacte de la fonction représentée par une opération utilisant le style RPC.

Si présente, l'extension wrpc:signature apporte la propriété suivante au composant Interface Operation auquel elle s'applique :

• {rpc signature} OPTIONNELLE, mais DOIT être présente lorsque c'est le style RPC ^†. Une liste de couples (q, t), dont le premier composant est de type xs:QName et le deuxième de type xs:token. La valeur du deuxième composant DOIT être choisie parmi les quatre suivantes : "#in", "#out", "#inout" et "#return" ^†.

La valeur de la propriété {rpc signature} DOIT satisfaire aux conditions suivantes :

• La valeur du premier composant de chaque couple (q, t) DOIT être unique dans la liste ^† ;

• Pour chaque sous-élément des messages d'entrée et de sortie de l'opération, un couple (q, t), dont le premier composant q est égal au nom qualifié de cet élément, DOIT être présent dans la liste, à la restriction que les éléments apparaissant avec une cardinalité supérieure à un DOIVENT être traités comme un seul élément ^† ;

• Pour chaque couple (q, #in), il DOIT y avoir un sous-élément de l'élément input avec le nom q. Il NE DOIT PAS y avoir de sous-élément de l'élément output avec le nom q ^† ;

• Pour chaque couple (q, #out), il DOIT y avoir un sous-élément de l'élément output avec le nom q. Il NE DOIT PAS y avoir de sous-élément de l'élément input avec le nom q ^† ;

• Pour chaque couple (q, #inout), il DOIT y avoir un sous-élément de l'élément input avec le nom q. Il NE DOIT PAS y avoir de sous-élément de l'élément output avec le nom q ^† ;

• Pour chaque couple (q, #return), il DOIT y avoir un sous-élément de l'élément output avec le nom q. Il NE DOIT PAS y avoir de sous-élément de l'élément input avec le nom q ^†.

La signature de fonction définie par une extension wrpc:signature se détermine comme suit :

1. Commencer avec la valeur de la propriété {rpc signature}, une liste (éventuellement vide) de couples de la forme suivante :

   [(q0, t0), (q1, t1), ...]

2. Trier les éléments de cette liste en deux liste : la première (L1) comprenant les couples dont le composant t est l'un parmi {#in, #out, #inout}, la deuxième (L2) comprenant les couples dont le composant t vaut #return. Pour la composition des listes L1 et L2, l'ordre relatif des membres dans la liste originale DOIT être conservé.

   Pour aider la visualisation, notons les deux listes respectives ainsi :

   (L1) [(a0, u0), (a1, u1), ...]

   et :

   (L2) [(r0, #return), (r1, #return), ...]

3. Ensuite, si la séquence d'entrée se termine par un élément générique, la signature formelle de la fonction est :

   f([d0] a0, [d1] a1, ..., rest) => (r0, r1, ...)

   où rest est un paramètre formel représentant les éléments dans le message d'entrée filtrés par l'élément générique.

   Sinon la signature formelle de la fonction est :

   f([d0] a0, [d1] a1, ...) => (r0, r1, ...)

   c'est-à-dire que :

   • la liste des arguments formels de la fonction est [a0, a1, ...] ;

   • la direction d de chaque argument formel a est l'une parmi [in], [out] et [inout], déterminée conformément à la valeur de son atome u correspondant ;

   • la liste des paramètres de retour formels de la fonction est [r0, r1, ...] ;

   • chaque argument formel et paramètre de retour formel est typé conformément au type du sous-élément identifié par la signature (lequel est unique selon les conditions indiquées précédemment).

4.1.2 Représentation XML de l'extension wrpc:signature

La représentation XML de l'extension de signature RPC est un item d'information d'attribut avec les propriétés d'ensemble d'information suivantes :

• un nom local [local name] de signature ;

• un nom d'espace de noms [namespace name] de "http://www.w3.org/ns/wsdl/rpc".

L'item d'information d'attribut signature est un type de liste dont le type d'élément est l'union d'un type xs:QName et d'un sous-type de xs:token limité aux quatre valeurs suivantes : "#in", "#out", "#inout" et "#return". Cf. l'exemple 4-1 pour un extrait de la définition de schéma normative de ce type.

En plus, chaque élément de numéro pair (0, 2, 4, ...) dans la liste DOIT être de type xs:QName et chaque élément de numéro impair (1, 3, 5, ...) dans la liste DOIT être du sous-type de xs:token décrit au paragraphe précédent ^†.

<xs:attribute name="signature" type="wrpc:signatureType"/>

<xs:simpleType name="signatureType">
  <xs:list itemType="wrpc:signatureItemType"/>
</xs:simpleType>

<xs:simpleType name="signatureItemType">
  <xs:union memberTypes="xs:QName wrpc:directionToken"/>
</xs:simpleType>

<xs:simpleType name="directionToken">
  <xs:restriction base="xs:token">
    <xs:enumeration value="#in"/>
    <xs:enumeration value="#out"/>
    <xs:enumeration value="#inout"/>
    <xs:enumeration value="#return"/>
  </xs:restriction>
</xs:simpleType>

4.1.3 Correspondance de l'extension wrpc:signature aux propriétés d'un composant Interface Operation

Un item d'information d'attribut d'extension wrpc:signature est associé à la propriété suivante du composant Interface Operation défini par son possesseur [owner].

5.4.1 Description

Chaque liaison SOAP DOIT indiquer quelle version de SOAP est utilisée pour les opérations de l'interface à laquelle cette liaison s'applique ^†.

Par défaut, c'est SOAP 1.2 [SOAP 1.2 Part 1: Messaging Framework (Second Edition)] qui est utilisé.

5.4.2 Relation avec le modèle de composants WSDL

La spécification du protocole SOAP ajoute la propriété suivante au modèle de composants WSDL (défini dans [WSDL 2.0 Core Language]) :

• {soap version}, OBLIGATOIRE. Un type xs:string ; propriété ajoutée au composant Binding.

5.4.3 Représentation XML

<description>
  <binding  name="xs:NCName" interface="xs:QName"? type="xs:anyURI"
            wsoap:version="xs:string"? >
    ...
  </binding>
</description>

La représentation XML pour indiquer la version SOAP est un item d'information d'attribut avec les propriétés d'ensemble d'information suivantes :

• un nom local [local name] de version ;

• un nom d'espace de noms [namespace name] de "http://www.w3.org/ns/wsdl/soap" ;

• un type de xs:string.

5.4.4 Correspondance de la représentation XML aux propriétés de composant

Cf. le tableau 5-1.

5.5.1 Description

Chaque liaison SOAP DOIT indiquer quel protocole sous-jacent est utilisé ^†.

5.5.2 Relation avec le modèle de composants WSDL

La spécification du protocole SOAP ajoute la propriété suivante au modèle de composants WSDL (défini dans [WSDL 2.0 Core Language]) :

• {soap underlying protocol}, OBLIGATOIRE. Un type xs:anyURI, qui est une adresse IRI absolue comme définie par [IETF RFC 3987] ; propriété ajoutée au composant Binding. Cette adresse IRI se rapporte à une liaison de protocole sous-jacent SOAP (cf. la section Cadre de liaison de protocole SOAP dans [SOAP 1.2 Part 1: Messaging Framework Second Edition)]), à utiliser pour toutes les interactions SOAP décrites par cette liaison.

5.5.3 Représentation XML

<description>
  <binding  name="xs:NCName" interface="xs:QName"? type="xs:anyURI"
            wsoap:protocol="xs:anyURI" >
    ...
  </binding>
</description>

La représentation XML pour indiquer le protocole SOAP est un item d'information d'attribut OBLIGATOIRE avec les propriétés d'ensemble d'information suivantes :

• un nom local [local name] de protocol ;

• un nom d'espace de noms [namespace name] de "http://www.w3.org/ns/wsdl/soap" ;

• un type de xs:anyURI.

5.5.4 Correspondance de la représentation XML aux propriétés de composant

Cf. le tableau 5-2.

5.6.1 Description

Pour chaque composant Interface Fault contenu dans un composant Interface, une correspondance à un composant SOAP Fault DOIT être décrite ^†. Cette définition d'extension de liaison permet à l'utilisateur d'indiquer les code et sous-codes d'incident SOAP (SOAP Fault) transmis pour un composant Interface Fault donné.

5.6.2 Relation avec le modèle de composants WSDL

L'extension de liaison d'incident SOAP ajoute les propriétés suivantes au modèle de composants WSDL (défini dans [WSDL 2.0 Core Language]) :

• {soap fault code}, OBLIGATOIRE. L'union d'un type xs:QName et d'un type xs:token ; propriété ajoutée au composant Binding Fault, où :

  • lorsque la valeur de la propriété {soap version} est "1.2", les noms qualifiés QName permis DOIVENT être ceux définis à la section 5.4.6 dans [SOAP 1.2 Part 1: Messaging Framework (Second Edition)] ^† ;

  • la valeur d'atome (token) permise est "#any".

  La valeur de cette propriété identifie un composant SOAP Fault possible pour les opérations visées. Si la valeur de cette propriété est "#any", on ne fait aucune assertion à propos de la valeur possible du code d'incident SOAP.

• {soap fault subcodes}, OBLIGATOIRE. L'union d'une liste de types xs:QName et d'un type xs:token, où la valeur d'atome permise est "#any" ; propriété ajoutée au composant Binding Fault. La valeur de cette propriété identifie un ou plusieurs sous-codes pour ce composant SOAP Fault. La liste des sous-codes est la séquence nichée (nested sequence) de sous-codes. Une liste vide représente un code d'incident sans sous-code.

5.6.3 Représentation XML

<description>
  <binding >
    <fault ref="xs:QName"
           wsoap:code="union de xs:QName, xs:token"?
           wsoap:subcodes="union de (liste de xs:QName), xs:token"? >
      <documentation />*
    </fault>*
  </binding>
</description>

La représentation XML de liaison d'un incident SOAP comporte deux items d'information d'attribut avec les propriétés d'ensemble d'information suivantes :

• un item d'information d'attribut wsoap:code OPTIONNEL ;

  • un nom local [local name] de code ;

  • un nom d'espace de noms [namespace name] de "http://www.w3.org/ns/wsdl/soap" ;

  • un type d'union de xs:QName et xs:token, où la valeur d'atome permise est "#any".

• un item d'information d'attribut wsoap:subcodes OPTIONNEL ;

  • un nom local [local name] de subcodes ;

  • un nom d'espace de noms [namespace name] de "http://www.w3.org/ns/wsdl/soap" ;

  • un type d'union d'une liste de xs:QName et de xs:token, où la valeur d'atome permise est "#any".

5.6.4 Correspondance de la représentation XML aux propriétés de composant

Cf. le tableau 5-3.

5.7.1 Description

Pour chaque composant Interface Operation contenu dans un composant Interface, en plus des règles de liaison (pour SOAP 1.2, cf. la section 5.10.3 Règles de liaison SOAP 1.2), des informations de liaison supplémentaires peuvent être définies. Cette spécification d'extension de liaison permet à l'utilisateur d'indiquer le modèle d'échange de messages SOAP (SOAP Message Exchange Pattern) et une valeur de la caractéristique d'action SOAP (SOAP Action Feature) pour chaque opération.

5.7.2 Relation avec le modèle de composants WSDL

La spécification d'extension de liaison d'opération SOAP ajoute la propriété suivante au modèle de composants WSDL (défini dans [WSDL 2.0 Core Language]) :

• {soap mep default}, OPTIONNEL. Un type xs:anyURI, qui est une adresse IRI absolue comme définie par [IETF RFC 3987] ; propriété ajoutée au composant Binding ^†. La valeur de cette propriété identifie le modèle d'échange de messages SOAP par défaut de tous les composants Interface Operation d'un composant Interface auquel ce composant Binding est appliqué ;

• {soap mep}, OPTIONNEL. Un type xs:anyURI, qui est une adresse IRI absolue comme définie par [IETF RFC 3987] ; propriété ajoutée au composant Binding Operation ^†. La valeur de cette propriété identifie le modèle d'échange de messages SOAP de cette opération spécifique (cf. la section 5.10.3 Règles de liaison SOAP 1.2, paragraphe intitulé « Sélection du modèle d'échange de messages SOAP », pour les contraintes des liaisons) ;

• {soap action}, OPTIONNEL. Un type xs:anyURI, qui est une adresse IRI absolue comme définie par [IETF RFC 3987] ; propriété ajoutée au composant Binding Operation ^†. La valeur de cette propriété identifie la valeur de la caractéristique d'action SOAP du message initial du modèle d'échange de messages du composant Interface Operation lié, telle qu'indiquée dans les règles de liaison des liaisons à des versions spécifiques de SOAP (cf. la section 5.10.3 Règles de liaison SOAP 1.2 de la liaison SOAP 1.2 lorsque la valeur de la propriété {soap version} du composant Binding est "1.2").

5.7.3 Représentation XML

<description>
  <binding wsoap:mepDefault="xs:anyURI"? >
    <operation ref="xs:QName" 
               wsoap:mep="xs:anyURI"?
               wsoap:action="xs:anyURI"? >
    </operation>
  </binding>
</description>

La représentation XML pour lier un composant Binding Operation comporte deux items d'information d'attribut avec les propriété d'ensemble d'information suivantes :

• un item d'information d'attribut wsoap:mep OPTIONNEL ;

  • un nom local [local name] de mep ;

  • un nom d'espace de noms [namespace name] de "http://www.w3.org/ns/wsdl/soap" ;

  • un type de xs:anyURI.

• un item d'information d'attribut wsoap:action OPTIONNEL ;

  • un nom local [local name] de action ;

  • un nom d'espace de noms [namespace name] de "http://www.w3.org/ns/wsdl/soap" ;

  • un type de xs:anyURI.

L'item d'information d'attribut suivant est défini pour l'item d'information d'élément binding :

• un item d'information d'attribut wsoap:mepDefault OPTIONNEL ;

  • un nom local [local name] de mepDefault ;

  • un nom d'espace de no