<?xml version="1.0" encoding="utf-8"?>

<wsdl:definitions targetNamespace="urn:icsy:venice:wsdl:math" name="SpecialNumbers"
	xmlns:tns="urn:icsy:venice:wsdl:math"
	xmlns:faults="urn:icsy:venice:types:faults"
	xmlns:xsd="http://www.w3.org/2001/XMLSchema"
	xmlns:soap="http://schemas.xmlsoap.org/wsdl/soap/"
	xmlns:wsdl="http://schemas.xmlsoap.org/wsdl/">

	<!-- ========== Types ============ -->

	<wsdl:types>

		<xsd:schema elementFormDefault="qualified">
			<xsd:import namespace="urn:icsy:venice:types:faults" schemaLocation="http://www.v-grid.info/types/faults.xsd"/>
		</xsd:schema>

	</wsdl:types>

	<!-- ========== Messages ============ -->

	<wsdl:message name="Message_SpecialNumbers_fibonacci">
		<wsdl:documentation>The request message for the operation fibonacci().</wsdl:documentation>
		<wsdl:part name="n" type="xsd:int"/>
	</wsdl:message>

	<wsdl:message name="Message_SpecialNumbers_fibonacciResponse">
		<wsdl:documentation>The response message for the operation fibonacci().</wsdl:documentation>
		<wsdl:part name="result" type="xsd:string"/>
	</wsdl:message>

	<!-- ========== Fault Messages ============ -->

	<wsdl:message name="FaultMessage_SpecialNumbers_IllegalArgumentFault">
		<wsdl:part name="fault" element="faults:IllegalArgumentFault"/>
	</wsdl:message>

	<wsdl:message name="FaultMessage_SpecialNumbers_ServiceMigratedFault">
		<wsdl:part name="fault" element="faults:ServiceMigratedFault"/>
	</wsdl:message>

	<wsdl:message name="FaultMessage_SpecialNumbers_ServiceNotReadyFault">
		<wsdl:part name="fault" element="faults:ServiceNotReadyFault"/>
	</wsdl:message>

	<wsdl:message name="FaultMessage_SpecialNumbers_ServiceLimitReachedFault">
		<wsdl:part name="fault" element="faults:ServiceLimitReachedFault"/>
	</wsdl:message>

	<!-- ========== Port Types ============ -->

	<wsdl:portType name="SpecialNumbersPortType">

		<wsdl:operation name="fibonacci" parameterOrder="n">
			<wsdl:documentation>Returns the n-th Fibonacci number.</wsdl:documentation>
			<wsdl:input message="tns:Message_SpecialNumbers_fibonacci"/>
			<wsdl:output message="tns:Message_SpecialNumbers_fibonacciResponse"/>
			<wsdl:fault message="tns:FaultMessage_SpecialNumbers_IllegalArgumentFault" name="IllegalArgumentFault"/>
			<wsdl:fault message="tns:FaultMessage_SpecialNumbers_ServiceMigratedFault" name="ServiceMigratedFault"/>
			<wsdl:fault message="tns:FaultMessage_SpecialNumbers_ServiceNotReadyFault" name="ServiceNotReadyFault"/>
			<wsdl:fault message="tns:FaultMessage_SpecialNumbers_ServiceLimitReachedFault" name="ServiceLimitReachedFault"/>
		</wsdl:operation>

	</wsdl:portType>

</wsdl:definitions>

