<?xml version="1.0" encoding="UTF-8"?>
<definitions targetNamespace="http://jbpm.org/examples/ticket"
	xmlns:tns="http://jbpm.org/examples/ticket" xmlns:xsd="http://www.w3.org/2001/XMLSchema"
	xmlns:soap="http://schemas.xmlsoap.org/wsdl/soap/" xmlns="http://schemas.xmlsoap.org/wsdl/">

	<message name="ticketRequest">
		<documentation>ticket creation request</documentation>
	</message>

	<message name="ticketMessage">
		<documentation>ticket number wrapper</documentation>
		<part name="ticketNo" type="xsd:int" />
	</message>

	<portType name="TicketIssuer">
		<documentation>interface to ticket issuer service</documentation>

		<operation name="createTicket">
			<documentation>generate a ticket number, distinct from previous calls
			</documentation>
			<input message="tns:ticketRequest" />
			<output message="tns:ticketMessage" />
		</operation>
	</portType>

	<binding name="TicketIssuerBinding" type="tns:TicketIssuer">
		<soap:binding style="rpc" transport="http://schemas.xmlsoap.org/soap/http" />

		<operation name="createTicket">
			<soap:operation soapAction="http://jbpm.org/examples/ticket#createTicket" />
			<input>
				<soap:body use="literal" namespace="http://jbpm.org/examples/ticket" />
			</input>
			<output>
				<soap:body use="literal" namespace="http://jbpm.org/examples/ticket" />
			</output>
		</operation>
	</binding>

	<service name="TicketService">
		<port name="TicketIssuerPort" binding="tns:TicketIssuerBinding">
			<soap:address location="http://127.0.0.1:8080/Tutorial_bpel_travel_agency/ticketIssuer" />
		</port>
	</service>

</definitions>