summaryrefslogtreecommitdiffstats
path: root/WFM_group_XX/Process A.xml
diff options
context:
space:
mode:
Diffstat (limited to 'WFM_group_XX/Process A.xml')
-rw-r--r--WFM_group_XX/Process A.xml877
1 files changed, 877 insertions, 0 deletions
diff --git a/WFM_group_XX/Process A.xml b/WFM_group_XX/Process A.xml
new file mode 100644
index 0000000..958ef79
--- /dev/null
+++ b/WFM_group_XX/Process A.xml
@@ -0,0 +1,877 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<specificationSet xmlns="http://www.citi.qut.edu.au/yawl" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" version="Beta 7.1" xsi:schemaLocation="http://www.citi.qut.edu.au/yawl d:/yawl/schema/YAWL_SchemaBeta7.1.xsd">
+ <specification uri="TravelA">
+ <metaData>
+ <creator>cbratosi</creator>
+ <description>No description has been given.</description>
+ <version>0.1</version>
+ </metaData>
+ <xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
+ <xs:complexType name="client">
+ <xs:sequence>
+ <xs:element maxOccurs="1" minOccurs="1" name="ID" type="xs:long" />
+ <xs:element maxOccurs="1" minOccurs="1" name="Name" type="xs:string" />
+ <xs:element maxOccurs="1" minOccurs="1" name="Address" type="xs:string" />
+ <xs:element maxOccurs="1" minOccurs="1" name="Phone" type="xs:string" />
+ </xs:sequence>
+ </xs:complexType>
+ <xs:complexType name="request">
+ <xs:sequence>
+ <xs:element maxOccurs="1" minOccurs="1" name="StartLocation" type="xs:string" />
+ <xs:element maxOccurs="1" minOccurs="1" name="Destination" type="xs:string" />
+ <xs:element maxOccurs="1" minOccurs="1" name="StartDate" type="xs:date" />
+ <xs:element maxOccurs="1" minOccurs="1" name="EndDate" type="xs:date" />
+ </xs:sequence>
+ </xs:complexType>
+ <xs:complexType name="flight">
+ <xs:sequence>
+ <xs:element maxOccurs="1" minOccurs="1" name="Company" type="xs:string" />
+ <xs:element maxOccurs="1" minOccurs="1" name="StartHour" type="xs:time" />
+ <xs:element maxOccurs="1" minOccurs="1" name="EndHour" type="xs:time" />
+ <xs:element maxOccurs="1" minOccurs="1" name="Price" type="xs:decimal" />
+ </xs:sequence>
+ </xs:complexType>
+ <xs:complexType name="travelPlan">
+ <xs:sequence>
+ <xs:element maxOccurs="1" minOccurs="1" name="Onward" type="flight" />
+ <xs:element maxOccurs="1" minOccurs="1" name="Return" type="flight" />
+ </xs:sequence>
+ </xs:complexType>
+ <xs:complexType name="travelPlanList">
+ <xs:sequence>
+ <xs:element maxOccurs="5" minOccurs="1" name="TravelPlan" type="travelPlan" />
+ </xs:sequence>
+ </xs:complexType>
+ <xs:complexType name="bill">
+ <xs:sequence>
+ <xs:element maxOccurs="1" minOccurs="1" name="Client" type="client" />
+ <xs:element maxOccurs="1" minOccurs="1" name="TravelPlan" type="travelPlan" />
+ <xs:element maxOccurs="1" minOccurs="1" name="TotalPrice" type="xs:decimal" />
+ </xs:sequence>
+ </xs:complexType>
+ <xs:simpleType name="clientAnswer">
+ <xs:restriction base="xs:string">
+ <xs:enumeration value="Cancel" />
+ <xs:enumeration value="Refine" />
+ <xs:enumeration value="Accept" />
+ </xs:restriction>
+ </xs:simpleType>
+ </xs:schema>
+ <decomposition id="Travel_agency" isRootNet="true" xsi:type="NetFactsType">
+ <localVariable>
+ <name>Bill</name>
+ <type>bill</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ <initialValue />
+ </localVariable>
+ <localVariable>
+ <name>ClientAnswer</name>
+ <type>clientAnswer</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ <initialValue />
+ </localVariable>
+ <localVariable>
+ <name>ClientData</name>
+ <type>client</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ <initialValue />
+ </localVariable>
+ <localVariable>
+ <name>List</name>
+ <type>travelPlanList</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ <initialValue />
+ </localVariable>
+ <localVariable>
+ <name>Payment</name>
+ <type>boolean</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ <initialValue>false</initialValue>
+ </localVariable>
+ <localVariable>
+ <name>Request</name>
+ <type>request</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ <initialValue />
+ </localVariable>
+ <localVariable>
+ <name>TimeOutValue</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ <initialValue>100</initialValue>
+ </localVariable>
+ <processControlElements>
+ <inputCondition id="InputCondition_1">
+ <flowsInto>
+ <nextElementRef id="Client_registration_3" />
+ </flowsInto>
+ </inputCondition>
+ <task id="Client_registration_3">
+ <name>Client registration</name>
+ <flowsInto>
+ <nextElementRef id="Find_travel_opportunities_4" />
+ </flowsInto>
+ <join code="xor" />
+ <split code="and" />
+ <completedMappings>
+ <mapping>
+ <expression query="&lt;ClientData&gt;{/Client_registration/ClientData/*}&lt;/ClientData&gt;" />
+ <mapsTo>ClientData</mapsTo>
+ </mapping>
+ <mapping>
+ <expression query="&lt;Request&gt;{/Client_registration/Request/*}&lt;/Request&gt;" />
+ <mapsTo>Request</mapsTo>
+ </mapping>
+ </completedMappings>
+ <enablementMappings>
+ <mapping>
+ <expression query="&lt;YawlResourceAllocationQuery&gt;select HResID from HResPerformsRole where RoleName =$apos;Public Relation$apos;&lt;/YawlResourceAllocationQuery&gt;" />
+ <mapsTo>YawlResourceAllocationQuery</mapsTo>
+ </mapping>
+ </enablementMappings>
+ <decomposesTo id="Client_registration" />
+ </task>
+ <task id="Find_travel_opportunities_4">
+ <name>Find travel opportunities</name>
+ <flowsInto>
+ <nextElementRef id="Announce_the_client_5" />
+ </flowsInto>
+ <join code="xor" />
+ <split code="and" />
+ <startingMappings>
+ <mapping>
+ <expression query="&lt;Request&gt;{/Travel_agency/Request/*}&lt;/Request&gt;" />
+ <mapsTo>Request</mapsTo>
+ </mapping>
+ </startingMappings>
+ <completedMappings>
+ <mapping>
+ <expression query="&lt;List&gt;{/Find_travel_opportunities/List/*}&lt;/List&gt;" />
+ <mapsTo>List</mapsTo>
+ </mapping>
+ </completedMappings>
+ <enablementMappings>
+ <mapping>
+ <expression query="&lt;YawlResourceAllocationQuery&gt;select HResID from HResPerformsRole where RoleName =$apos;Travel Agent$apos;&lt;/YawlResourceAllocationQuery&gt;" />
+ <mapsTo>YawlResourceAllocationQuery</mapsTo>
+ </mapping>
+ </enablementMappings>
+ <decomposesTo id="Find_travel_opportunities" />
+ </task>
+ <task id="Announce_the_client_5">
+ <name>Announce the client</name>
+ <flowsInto>
+ <nextElementRef id="Time_out_7" />
+ </flowsInto>
+ <flowsInto>
+ <nextElementRef id="Client_reply_6" />
+ </flowsInto>
+ <join code="xor" />
+ <split code="and" />
+ <startingMappings>
+ <mapping>
+ <expression query="&lt;TOValue&gt;{/Travel_agency/TimeOutValue/text()}&lt;/TOValue&gt;" />
+ <mapsTo>TOValue</mapsTo>
+ </mapping>
+ <mapping>
+ <expression query="&lt;ClientData&gt;{/Travel_agency/ClientData/*}&lt;/ClientData&gt;" />
+ <mapsTo>ClientData</mapsTo>
+ </mapping>
+ <mapping>
+ <expression query="&lt;List&gt;{/Travel_agency/List/*}&lt;/List&gt;" />
+ <mapsTo>List</mapsTo>
+ </mapping>
+ </startingMappings>
+ <completedMappings>
+ <mapping>
+ <expression query="&lt;TimeOutValue&gt;{/Announce_the_client/TOValue/text()}&lt;/TimeOutValue&gt;" />
+ <mapsTo>TimeOutValue</mapsTo>
+ </mapping>
+ </completedMappings>
+ <enablementMappings>
+ <mapping>
+ <expression query="&lt;YawlResourceAllocationQuery&gt;select HResID from HResPerformsRole where RoleName =$apos;Public Relation$apos;&lt;/YawlResourceAllocationQuery&gt;" />
+ <mapsTo>YawlResourceAllocationQuery</mapsTo>
+ </mapping>
+ </enablementMappings>
+ <decomposesTo id="Announce_the_client" />
+ </task>
+ <task id="Time_out_7">
+ <name>Time out</name>
+ <flowsInto>
+ <nextElementRef id="Call_client__17" />
+ </flowsInto>
+ <join code="xor" />
+ <split code="and" />
+ <removesTokens id="Client_reply_6" />
+ <removesTokensFromFlow>
+ <flowSource id="Announce_the_client_5" />
+ <flowDestination id="Client_reply_6" />
+ </removesTokensFromFlow>
+ <startingMappings>
+ <mapping>
+ <expression query="&lt;time&gt;{/Travel_agency/TimeOutValue/text()}&lt;/time&gt;" />
+ <mapsTo>time</mapsTo>
+ </mapping>
+ </startingMappings>
+ <decomposesTo id="Time_out" />
+ </task>
+ <task id="Client_reply_6">
+ <name>Client reply</name>
+ <flowsInto>
+ <nextElementRef id="End_request_30" />
+ <isDefaultFlow />
+ </flowsInto>
+ <flowsInto>
+ <nextElementRef id="Refine_travel_info_18" />
+ <predicate ordering="0">/Travel_agency/ClientAnswer/text()='Refine'</predicate>
+ </flowsInto>
+ <flowsInto>
+ <nextElementRef id="Client_response_positive_19" />
+ <predicate ordering="1">/Travel_agency/ClientAnswer/text()='Accept'</predicate>
+ </flowsInto>
+ <join code="xor" />
+ <split code="xor" />
+ <removesTokens id="Time_out_7" />
+ <removesTokensFromFlow>
+ <flowSource id="Announce_the_client_5" />
+ <flowDestination id="Time_out_7" />
+ </removesTokensFromFlow>
+ <startingMappings>
+ <mapping>
+ <expression query="&lt;List&gt;{/Travel_agency/List/*}&lt;/List&gt;" />
+ <mapsTo>List</mapsTo>
+ </mapping>
+ </startingMappings>
+ <completedMappings>
+ <mapping>
+ <expression query="&lt;ClientAnswer&gt;{/Client_reply/ClientAnswer/text()}&lt;/ClientAnswer&gt;" />
+ <mapsTo>ClientAnswer</mapsTo>
+ </mapping>
+ <mapping>
+ <expression query="&lt;List&gt;{/Client_reply/List/*}&lt;/List&gt;" />
+ <mapsTo>List</mapsTo>
+ </mapping>
+ </completedMappings>
+ <enablementMappings>
+ <mapping>
+ <expression query="&lt;YawlResourceAllocationQuery&gt;select HResID from HResPerformsRole where RoleName =$apos;Public Relation$apos;&lt;/YawlResourceAllocationQuery&gt;" />
+ <mapsTo>YawlResourceAllocationQuery</mapsTo>
+ </mapping>
+ </enablementMappings>
+ <decomposesTo id="Client_reply" />
+ </task>
+ <task id="Call_client__17">
+ <name>Call client</name>
+ <flowsInto>
+ <nextElementRef id="Refine_travel_info_18" />
+ <predicate ordering="0">/Travel_agency/ClientAnswer/text()='Refine'</predicate>
+ </flowsInto>
+ <flowsInto>
+ <nextElementRef id="End_request_30" />
+ <isDefaultFlow />
+ </flowsInto>
+ <flowsInto>
+ <nextElementRef id="Client_response_positive_19" />
+ <predicate ordering="1">/Travel_agency/ClientAnswer/text()='Accept'</predicate>
+ </flowsInto>
+ <join code="xor" />
+ <split code="xor" />
+ <startingMappings>
+ <mapping>
+ <expression query="&lt;ClientData&gt;{/Travel_agency/ClientData/*}&lt;/ClientData&gt;" />
+ <mapsTo>ClientData</mapsTo>
+ </mapping>
+ </startingMappings>
+ <completedMappings>
+ <mapping>
+ <expression query="&lt;ClientAnswer&gt;{/CallClient/ClientAnswer/text()}&lt;/ClientAnswer&gt;" />
+ <mapsTo>ClientAnswer</mapsTo>
+ </mapping>
+ </completedMappings>
+ <enablementMappings>
+ <mapping>
+ <expression query="&lt;YawlResourceAllocationQuery&gt;select HResID from HResPerformsRole where RoleName =$apos;Public Relation$apos;&lt;/YawlResourceAllocationQuery&gt;" />
+ <mapsTo>YawlResourceAllocationQuery</mapsTo>
+ </mapping>
+ </enablementMappings>
+ <decomposesTo id="CallClient" />
+ </task>
+ <task id="Refine_travel_info_18">
+ <name>Refine travel info</name>
+ <flowsInto>
+ <nextElementRef id="Find_travel_opportunities_4" />
+ </flowsInto>
+ <join code="xor" />
+ <split code="and" />
+ <startingMappings>
+ <mapping>
+ <expression query="&lt;Request&gt;{/Travel_agency/Request/*}&lt;/Request&gt;" />
+ <mapsTo>Request</mapsTo>
+ </mapping>
+ </startingMappings>
+ <enablementMappings>
+ <mapping>
+ <expression query="&lt;YawlResourceAllocationQuery&gt;select HResID from HResPerformsRole where RoleName =$apos;Travel Agent$apos;&lt;/YawlResourceAllocationQuery&gt;" />
+ <mapsTo>YawlResourceAllocationQuery</mapsTo>
+ </mapping>
+ </enablementMappings>
+ <decomposesTo id="Refine_info" />
+ </task>
+ <task id="Client_response_positive_19">
+ <name>Client response positive</name>
+ <flowsInto>
+ <nextElementRef id="Enable_Canceling_193" />
+ </flowsInto>
+ <flowsInto>
+ <nextElementRef id="Book_trip_21" />
+ </flowsInto>
+ <flowsInto>
+ <nextElementRef id="Prepare_bill_22" />
+ </flowsInto>
+ <join code="xor" />
+ <split code="and" />
+ <startingMappings>
+ <mapping>
+ <expression query="&lt;List&gt;{/Travel_agency/List/*}&lt;/List&gt;" />
+ <mapsTo>List</mapsTo>
+ </mapping>
+ </startingMappings>
+ <enablementMappings>
+ <mapping>
+ <expression query="&lt;YawlResourceAllocationQuery&gt;select HResID from HResPerformsRole where RoleName =$apos;Travel Agent$apos;&lt;/YawlResourceAllocationQuery&gt;" />
+ <mapsTo>YawlResourceAllocationQuery</mapsTo>
+ </mapping>
+ </enablementMappings>
+ <decomposesTo id="ClientResponsePositive" />
+ </task>
+ <task id="End_request_30">
+ <name>End request</name>
+ <flowsInto>
+ <nextElementRef id="OutputCondition_2" />
+ </flowsInto>
+ <join code="xor" />
+ <split code="and" />
+ <decomposesTo id="End_request" />
+ </task>
+ <condition id="Enable_Canceling_193">
+ <name>Enable Canceling</name>
+ <flowsInto>
+ <nextElementRef id="Cancel_case_194" />
+ </flowsInto>
+ </condition>
+ <task id="Book_trip_21">
+ <name>Book trip</name>
+ <flowsInto>
+ <nextElementRef id="Client_paid_25" />
+ </flowsInto>
+ <join code="xor" />
+ <split code="and" />
+ <startingMappings>
+ <mapping>
+ <expression query="&lt;List&gt;{/Travel_agency/List/*}&lt;/List&gt;" />
+ <mapsTo>List</mapsTo>
+ </mapping>
+ </startingMappings>
+ <enablementMappings>
+ <mapping>
+ <expression query="&lt;YawlResourceAllocationQuery&gt;select HResID from HResPerformsRole where RoleName =$apos;Travel Agent$apos;&lt;/YawlResourceAllocationQuery&gt;" />
+ <mapsTo>YawlResourceAllocationQuery</mapsTo>
+ </mapping>
+ </enablementMappings>
+ <decomposesTo id="Book_trip" />
+ </task>
+ <task id="Cancel_case_194">
+ <name>Cancel case</name>
+ <flowsInto>
+ <nextElementRef id="Refund_249" />
+ <predicate ordering="0">/Travel_agency/Payment/text()='true'</predicate>
+ </flowsInto>
+ <flowsInto>
+ <nextElementRef id="End_request_30" />
+ <isDefaultFlow />
+ </flowsInto>
+ <join code="xor" />
+ <split code="xor" />
+ <removesTokens id="Book_trip_21" />
+ <removesTokens id="Client_paid_25" />
+ <removesTokens id="Prepare_bill_22" />
+ <removesTokens id="Send_bill_23" />
+ <removesTokens id="Send_documents_27" />
+ <removesTokens id="Start_trip_29" />
+ <removesTokens id="Time_out_2_26" />
+ <removesTokensFromFlow>
+ <flowSource id="Client_paid_25" />
+ <flowDestination id="Send_documents_27" />
+ </removesTokensFromFlow>
+ <removesTokensFromFlow>
+ <flowSource id="Client_response_positive_19" />
+ <flowDestination id="Book_trip_21" />
+ </removesTokensFromFlow>
+ <removesTokensFromFlow>
+ <flowSource id="Send_documents_27" />
+ <flowDestination id="Start_trip_29" />
+ </removesTokensFromFlow>
+ <removesTokensFromFlow>
+ <flowSource id="Client_response_positive_19" />
+ <flowDestination id="Prepare_bill_22" />
+ </removesTokensFromFlow>
+ <removesTokensFromFlow>
+ <flowSource id="Prepare_bill_22" />
+ <flowDestination id="Send_bill_23" />
+ </removesTokensFromFlow>
+ <removesTokensFromFlow>
+ <flowSource id="Time_out_2_26" />
+ <flowDestination id="Send_bill_23" />
+ </removesTokensFromFlow>
+ <removesTokensFromFlow>
+ <flowSource id="Book_trip_21" />
+ <flowDestination id="Client_paid_25" />
+ </removesTokensFromFlow>
+ <decomposesTo id="Cancel_case" />
+ </task>
+ <task id="Prepare_bill_22">
+ <name>Prepare bill</name>
+ <flowsInto>
+ <nextElementRef id="Send_bill_23" />
+ </flowsInto>
+ <join code="xor" />
+ <split code="and" />
+ <startingMappings>
+ <mapping>
+ <expression query="&lt;Bill&gt;&lt;Client&gt;{/Travel_agency/ClientData/*}&lt;/Client&gt; &lt;TravelPlan&gt;{/Travel_agency/List/TravelPlan[1]/*}&lt;/TravelPlan&gt; &lt;TotalPrice&gt;0&lt;/TotalPrice&gt;&lt;/Bill&gt;" />
+ <mapsTo>Bill</mapsTo>
+ </mapping>
+ <mapping>
+ <expression query="&lt;TOVAlue&gt;{/Travel_agency/TimeOutValue/text()}&lt;/TOVAlue&gt;" />
+ <mapsTo>TOVAlue</mapsTo>
+ </mapping>
+ </startingMappings>
+ <completedMappings>
+ <mapping>
+ <expression query="&lt;Bill&gt;{/Prepare_bill/Bill/*}&lt;/Bill&gt;" />
+ <mapsTo>Bill</mapsTo>
+ </mapping>
+ <mapping>
+ <expression query="&lt;TimeOutValue&gt;{/Prepare_bill/TOVAlue/text()}&lt;/TimeOutValue&gt;" />
+ <mapsTo>TimeOutValue</mapsTo>
+ </mapping>
+ </completedMappings>
+ <enablementMappings>
+ <mapping>
+ <expression query="&lt;YawlResourceAllocationQuery&gt;select HResID from HResPerformsRole where RoleName =$apos;Manager$apos;&lt;/YawlResourceAllocationQuery&gt;" />
+ <mapsTo>YawlResourceAllocationQuery</mapsTo>
+ </mapping>
+ </enablementMappings>
+ <decomposesTo id="Prepare_bill" />
+ </task>
+ <task id="Send_bill_23">
+ <name>Send bill</name>
+ <flowsInto>
+ <nextElementRef id="Client_paid_25" />
+ </flowsInto>
+ <flowsInto>
+ <nextElementRef id="Time_out_2_26" />
+ </flowsInto>
+ <join code="xor" />
+ <split code="and" />
+ <startingMappings>
+ <mapping>
+ <expression query="&lt;Bill&gt;{/Travel_agency/Bill/*}&lt;/Bill&gt;" />
+ <mapsTo>Bill</mapsTo>
+ </mapping>
+ <mapping>
+ <expression query="&lt;ClientData&gt;{/Travel_agency/ClientData/*}&lt;/ClientData&gt;" />
+ <mapsTo>ClientData</mapsTo>
+ </mapping>
+ </startingMappings>
+ <enablementMappings>
+ <mapping>
+ <expression query="&lt;YawlResourceAllocationQuery&gt;select HResID from HResPerformsRole where RoleName =$apos;Public Relation$apos;&lt;/YawlResourceAllocationQuery&gt;" />
+ <mapsTo>YawlResourceAllocationQuery</mapsTo>
+ </mapping>
+ </enablementMappings>
+ <decomposesTo id="Send_bill" />
+ </task>
+ <task id="Client_paid_25">
+ <name>Client paid</name>
+ <flowsInto>
+ <nextElementRef id="Send_documents_27" />
+ </flowsInto>
+ <join code="and" />
+ <split code="and" />
+ <removesTokens id="Time_out_2_26" />
+ <removesTokensFromFlow>
+ <flowSource id="Send_bill_23" />
+ <flowDestination id="Time_out_2_26" />
+ </removesTokensFromFlow>
+ <startingMappings>
+ <mapping>
+ <expression query="&lt;Bill&gt;{/Travel_agency/Bill/*}&lt;/Bill&gt;" />
+ <mapsTo>Bill</mapsTo>
+ </mapping>
+ <mapping>
+ <expression query="&lt;ClientData&gt;{/Travel_agency/ClientData/*}&lt;/ClientData&gt;" />
+ <mapsTo>ClientData</mapsTo>
+ </mapping>
+ </startingMappings>
+ <completedMappings>
+ <mapping>
+ <expression query="&lt;Payment&gt;{/Client_paid/Payment/text()}&lt;/Payment&gt;" />
+ <mapsTo>Payment</mapsTo>
+ </mapping>
+ </completedMappings>
+ <enablementMappings>
+ <mapping>
+ <expression query="&lt;YawlResourceAllocationQuery&gt;select HResID from HResPerformsRole where RoleName =$apos;Public Relation$apos;&lt;/YawlResourceAllocationQuery&gt;" />
+ <mapsTo>YawlResourceAllocationQuery</mapsTo>
+ </mapping>
+ </enablementMappings>
+ <decomposesTo id="Client_paid" />
+ </task>
+ <task id="Refund_249">
+ <name>Refund</name>
+ <flowsInto>
+ <nextElementRef id="End_request_30" />
+ </flowsInto>
+ <join code="xor" />
+ <split code="and" />
+ <startingMappings>
+ <mapping>
+ <expression query="&lt;Bill&gt;{/Travel_agency/Bill/*}&lt;/Bill&gt;" />
+ <mapsTo>Bill</mapsTo>
+ </mapping>
+ </startingMappings>
+ <enablementMappings>
+ <mapping>
+ <expression query="&lt;YawlResourceAllocationQuery&gt;select HResID from HResPerformsRole where RoleName =$apos;Manager$apos;&lt;/YawlResourceAllocationQuery&gt;" />
+ <mapsTo>YawlResourceAllocationQuery</mapsTo>
+ </mapping>
+ </enablementMappings>
+ <decomposesTo id="Refund" />
+ </task>
+ <task id="Time_out_2_26">
+ <name>Time out 2</name>
+ <flowsInto>
+ <nextElementRef id="Send_bill_23" />
+ </flowsInto>
+ <join code="xor" />
+ <split code="and" />
+ <removesTokens id="Client_paid_25" />
+ <removesTokensFromFlow>
+ <flowSource id="Send_bill_23" />
+ <flowDestination id="Client_paid_25" />
+ </removesTokensFromFlow>
+ <startingMappings>
+ <mapping>
+ <expression query="&lt;time&gt;{/Travel_agency/TimeOutValue/text()}&lt;/time&gt;" />
+ <mapsTo>time</mapsTo>
+ </mapping>
+ </startingMappings>
+ <decomposesTo id="Time_out" />
+ </task>
+ <task id="Send_documents_27">
+ <name>Send documents</name>
+ <flowsInto>
+ <nextElementRef id="Start_trip_29" />
+ </flowsInto>
+ <join code="xor" />
+ <split code="and" />
+ <removesTokens id="Send_documents_27" />
+ <startingMappings>
+ <mapping>
+ <expression query="&lt;ClientData&gt;{/Travel_agency/ClientData/*}&lt;/ClientData&gt;" />
+ <mapsTo>ClientData</mapsTo>
+ </mapping>
+ <mapping>
+ <expression query="&lt;List&gt;{/Travel_agency/List/*}&lt;/List&gt;" />
+ <mapsTo>List</mapsTo>
+ </mapping>
+ </startingMappings>
+ <enablementMappings>
+ <mapping>
+ <expression query="&lt;YawlResourceAllocationQuery&gt;select HResID from HResPerformsRole where RoleName =$apos;Travel Agent$apos;&lt;/YawlResourceAllocationQuery&gt;" />
+ <mapsTo>YawlResourceAllocationQuery</mapsTo>
+ </mapping>
+ </enablementMappings>
+ <decomposesTo id="Send_documents" />
+ </task>
+ <task id="Start_trip_29">
+ <name>Start trip</name>
+ <flowsInto>
+ <nextElementRef id="End_request_30" />
+ </flowsInto>
+ <join code="and" />
+ <split code="and" />
+ <removesTokens id="Cancel_case_194" />
+ <startingMappings>
+ <mapping>
+ <expression query="&lt;time&gt;{/Travel_agency/TimeOutValue/text()}&lt;/time&gt;" />
+ <mapsTo>time</mapsTo>
+ </mapping>
+ </startingMappings>
+ <decomposesTo id="Time_out" />
+ </task>
+ <outputCondition id="OutputCondition_2" />
+ </processControlElements>
+ </decomposition>
+ <decomposition id="Client_registration" xsi:type="WebServiceGatewayFactsType">
+ <outputParam>
+ <name>ClientData</name>
+ <type>client</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </outputParam>
+ <outputParam>
+ <name>Request</name>
+ <type>request</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </outputParam>
+ <enablementParam>
+ <name>YawlResourceAllocationQuery</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </enablementParam>
+ </decomposition>
+ <decomposition id="CallClient" xsi:type="WebServiceGatewayFactsType">
+ <inputParam>
+ <name>ClientData</name>
+ <type>client</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <outputParam>
+ <name>ClientAnswer</name>
+ <type>clientAnswer</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </outputParam>
+ <enablementParam>
+ <name>YawlResourceAllocationQuery</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </enablementParam>
+ </decomposition>
+ <decomposition id="Send_bill" xsi:type="WebServiceGatewayFactsType">
+ <inputParam>
+ <name>ClientData</name>
+ <type>client</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <inputParam>
+ <name>Bill</name>
+ <type>bill</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <enablementParam>
+ <name>YawlResourceAllocationQuery</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </enablementParam>
+ </decomposition>
+ <decomposition id="Prepare_bill" xsi:type="WebServiceGatewayFactsType">
+ <inputParam>
+ <name>Bill</name>
+ <type>bill</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <inputParam>
+ <name>TOVAlue</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <outputParam>
+ <name>Bill</name>
+ <type>bill</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </outputParam>
+ <outputParam>
+ <name>TOVAlue</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </outputParam>
+ <enablementParam>
+ <name>YawlResourceAllocationQuery</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </enablementParam>
+ </decomposition>
+ <decomposition id="Cancel_case" xsi:type="WebServiceGatewayFactsType" />
+ <decomposition id="End_request" xsi:type="WebServiceGatewayFactsType" />
+ <decomposition id="Announce_the_client" xsi:type="WebServiceGatewayFactsType">
+ <inputParam>
+ <name>ClientData</name>
+ <type>client</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <inputParam>
+ <name>List</name>
+ <type>travelPlanList</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <inputParam>
+ <name>TOValue</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <outputParam>
+ <name>TOValue</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </outputParam>
+ <enablementParam>
+ <name>YawlResourceAllocationQuery</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </enablementParam>
+ </decomposition>
+ <decomposition id="Book_trip" xsi:type="WebServiceGatewayFactsType">
+ <inputParam>
+ <name>List</name>
+ <type>travelPlanList</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <outputParam>
+ <name>List</name>
+ <type>travelPlanList</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </outputParam>
+ <enablementParam>
+ <name>YawlResourceAllocationQuery</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </enablementParam>
+ </decomposition>
+ <decomposition id="Refine_info" xsi:type="WebServiceGatewayFactsType">
+ <inputParam>
+ <name>Request</name>
+ <type>request</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <outputParam>
+ <name>Request</name>
+ <type>request</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </outputParam>
+ <enablementParam>
+ <name>YawlResourceAllocationQuery</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </enablementParam>
+ </decomposition>
+ <decomposition id="Find_travel_opportunities" xsi:type="WebServiceGatewayFactsType">
+ <inputParam>
+ <name>Request</name>
+ <type>request</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <outputParam>
+ <name>List</name>
+ <type>travelPlanList</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </outputParam>
+ <enablementParam>
+ <name>YawlResourceAllocationQuery</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </enablementParam>
+ </decomposition>
+ <decomposition id="Client_reply" xsi:type="WebServiceGatewayFactsType">
+ <inputParam>
+ <name>List</name>
+ <type>travelPlanList</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <outputParam>
+ <name>ClientAnswer</name>
+ <type>clientAnswer</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </outputParam>
+ <outputParam>
+ <name>List</name>
+ <type>travelPlanList</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </outputParam>
+ <enablementParam>
+ <name>YawlResourceAllocationQuery</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </enablementParam>
+ </decomposition>
+ <decomposition id="Send_documents" xsi:type="WebServiceGatewayFactsType">
+ <inputParam>
+ <name>ClientData</name>
+ <type>client</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <inputParam>
+ <name>List</name>
+ <type>travelPlanList</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <enablementParam>
+ <name>YawlResourceAllocationQuery</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </enablementParam>
+ </decomposition>
+ <decomposition id="Refund" xsi:type="WebServiceGatewayFactsType">
+ <inputParam>
+ <name>Bill</name>
+ <type>bill</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <enablementParam>
+ <name>YawlResourceAllocationQuery</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </enablementParam>
+ </decomposition>
+ <decomposition id="ClientResponsePositive" xsi:type="WebServiceGatewayFactsType">
+ <inputParam>
+ <name>List</name>
+ <type>travelPlanList</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <outputParam>
+ <name>List</name>
+ <type>travelPlanList</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </outputParam>
+ <enablementParam>
+ <name>YawlResourceAllocationQuery</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </enablementParam>
+ </decomposition>
+ <decomposition id="Time_out" xsi:type="WebServiceGatewayFactsType">
+ <inputParam>
+ <name>time</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <yawlService id="http://localhost:8080/timeService/ib" />
+ </decomposition>
+ <decomposition id="Client_paid" xsi:type="WebServiceGatewayFactsType">
+ <inputParam>
+ <name>ClientData</name>
+ <type>client</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <inputParam>
+ <name>Bill</name>
+ <type>bill</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </inputParam>
+ <outputParam>
+ <name>Payment</name>
+ <type>boolean</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </outputParam>
+ <enablementParam>
+ <name>YawlResourceAllocationQuery</name>
+ <type>string</type>
+ <namespace>http://www.w3.org/2001/XMLSchema</namespace>
+ </enablementParam>
+ </decomposition>
+ </specification>
+</specificationSet>
+
+