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>