Advances in Human-Computer Interaction / 2014 / Article / Tab 2

Research Article

User-Centric Design for Mathematical Web Services

Table 2

WSDL description of a tautology service.

?xml version=“1.0” encoding=“utf-8” ?
<wsdl:definitions<wsdl:binding name=“ServiceSoap” type=“tns:ServiceSoap”>
  xmlns:soap=“http://schemas.xmlsoap.org/wsdl/soap/”   <soap:binding
  xmlns:tm=“http://microsoft.com/wsdl/mime/textMatching/”    transport=“http://schemas.xmlsoap.org/soap/http” />
  xmlns:soapenc=“http://schemas.xmlsoap.org/soap/encoding/”   <wsdl:operation name=“Tautology”>
  xmlns:tns=“http://tempuri.org/”    <soap:operation
  xmlns:s=“http://www.w3.org/2001/XMLSchema”      SoapAction=“http://tempuri.org/Tautology”
  xmlns:soap12=“http://schemas.xmlsoap.org/wsdl/soap12/”      style=“document” />
  xmlns:http=“http://schemas.xmlsoap.org/wsdl/http/”    <wsdl:input>
  targetNamespace=“http://tempuri.org/”    <soap:body use=“literal” />
  xmlns:wsdl=“http://schemas.xmlsoap.org/wsdl/”>    </wsdl:input>
  <wsdl:types>   <wsdl:output>
   <s:schema elementFormDefault=“qualified”    <soap:body use=“literal” />
      targetNamespace=“http://tempuri.org/”>     </wsdl:output>
     <s:element name=“Tautology”>   </wsdl:operation>
    <s:complexType></wsdl:binding>
     <s:sequence><wsdl:service name=“Service”>
         <s:element minOccurs=“0” maxOccurs=“1”    <wsdl:port name=“ServiceSoap”
           name=“expression” type=“s:string” />    binding=“tns:ServiceSoap”>
    </s:sequence>    <soap:address
    </s:complexType>     location=“http://localhost:1031/ComputationalMathWebServices/Service.asmx” />
     </s:element>    </wsdl:port>
    <s:element name=“TautologyResponse”></wsdl:service>
    <s:complexType></wsdl:definitions>
  <s:sequence>
        <s:element minOccurs=“0” maxOccurs=“1”
           name=“TautologyResult” type=“s:string” />
    </s:sequence>
    </s:complexType>
     </s:element>
   </s:schema>
  </wsdl:types>
  <wsdl:message name=“TautologySoapIn”>
   <wsdl:part name=“parameters” element=“tns:Tautology” />
  </wsdl:message>
  <wsdl:message name=“TautologySoapOut”>
   <wsdl:part name=“parameters”
    element=“tns:TautologyResponse” />
  </wsdl:message>
   <wsdl:portType name=“ServiceSoap”>
  <wsdl:operation name=“Tautology”>
   <wsdl:input message=“tns:TautologySoapIn” />
   <wsdl:output message=“tns:TautologySoapOut” />
   </wsdl:operation>
  </wsdl:portType>