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

<declaration>// Place global declarations here.
<clock>x</clock>;
<var >output</var>;
<BPEL file ="wsdl">
<path>C:\jdevstudio10133\jdev\mywork\BloodBanking\BloodBankingBPELProcess1\bpel\BloodBankingBPELProcess1.wsdl</path>
</BPEL>
<BPEL file ="xsd">
<path>C:\jdevstudio10133\jdev\mywork\BloodBanking\BloodBankingBPELProcess1\bpel\BloodBankingBPELProcess1.xsd</path>
</BPEL>
<service name="LBS" file="wsdl">
<path>C:\jdevstudio10133\jdev\mywork\BloodBanking\LocalBloodSearch\classes\localbloodsearch\ILBSService.wsdl</path>
</service>
<service name="LBO" file="wsdl">
<path>C:\jdevstudio10133\jdev\mywork\BloodBanking\LocalBloodOrdering\classes\localbloodordering\ILBOService.wsdl</path>
</service>
<service name="UC" file="wsdl">
<path>C:\jdevstudio10133\jdev\mywork\BloodBanking\UnsatisfactoryCustomer\classes\unsatisfactorycustomer\IUCService.wsdl</path>
</service>
<service name="HM" file="wsdl">
<path>C:\jdevstudio10133\jdev\mywork\BloodBanking\HospitalMaintenance\classes\hospitalmaintenance\IHMService.wsdl</path>
</service>
</declaration>

<template><name x="5" y="5">Template</name><declaration>// Place local declarations here.
</declaration><location id="id0" x="-24" y="280"></location><location id="id1" x="80" y="280"></location><location id="id2" x="304" y="280"></location><location id="id3" x="304" y="152"></location><location id="id4" x="80" y="152"></location><location id="id5" x="192" y="56"></location><location id="id6" x="80" y="440"></location><location id="id7" x="-24" y="56"></location><location id="id8" x="80" y="-8"></location><location id="id9" x="80" y="-88"></location><location id="id10" x="80" y="-168"></location>

<init ref="id10"/>
<transition><source ref="id0"/><target ref="id6"/><label kind="synchronisation" x="-56" y="336">resp_HM?</label></transition>
<transition><source ref="id1"/><target ref="id6"/><label kind="synchronisation" x="88" y="336">resp_UC?</label></transition>
<transition><source ref="id7"/><target ref="id0"/><label kind="synchronisation" x="-16" y="208">invoke_HM!</label><label kind="assignment" x="92" y="968">invokedWebService=HM</label></transition>
<transition><source ref="id4"/><target ref="id1"/><label kind="synchronisation" x="96" y="208">invoke_UC!</label><label kind="assignment" x="92" y="968">invokedWebService=UC</label></transition>
<transition><source ref="id2"/><target ref="id6"/><label kind="synchronisation" x="224" y="344">resp_LBO?</label></transition>
<transition><source ref="id3"/><target ref="id2"/><label kind="synchronisation" x="320" y="208">invoke_LBO!</label><label kind="assignment" x="92" y="968">invokedWebService=LBO</label></transition>
<transition><source ref="id8"/><target ref="id5"/><label kind="guard" x="112" y="-8">x&lt;60</label><label kind="synchronisation" x="136" y="8">resp_LBS?</label></transition>
<transition><source ref="id6"/><target ref="id10"/><label kind="synchronisation" x="-232" y="144">Hospital_response!</label><nail x="-96" y="440"/><nail x="-96" y="-168"/></transition>
<transition><source ref="id5"/><target ref="id3"/><label kind="guard" x="256" y="80">output==satisfied</label></transition>
<transition><source ref="id5"/><target ref="id4"/><label kind="guard" x="24" y="80">output!=satisfied</label></transition>
<transition><source ref="id8"/><target ref="id7"/><label kind="guard" x="-20" y="-6">x&gt;=60</label></transition>
<transition><source ref="id9"/><target ref="id8"/><label kind="synchronisation" x="96" y="-64">invoke_LBS!</label><label kind="assignment" x="92" y="968">invokedWebService=LBS</label><label kind="assignment" x="128" y="-48">x =0</label></transition>
<transition><source ref="id10"/><target ref="id9"/><label kind="synchronisation" x="104" y="-144">Hospital_request?</label></transition>
</template>


<template><name>LBS</name><location id="id11" x="-32" y="0"></location><init ref="id11"/><transition><source ref="id11"/><target ref="id11"/><label kind="synchronisation" x="-184" y="-16">resp_LBS!</label><nail x="-104" y="-72"/><nail x="-104" y="72"/></transition><transition><source ref="id11"/><target ref="id11"/><label kind="synchronisation" x="64" y="-16">invoke_LBS?</label><nail x="48" y="-88"/><nail x="48" y="64"/></transition></template><template><name>LBO</name><location id="id12" x="0" y="0"></location><init ref="id12"/><transition><source ref="id12"/><target ref="id12"/><label kind="synchronisation" x="-60" y="-15">resp_LBO!</label><nail x="-72" y="-64"/><nail x="-72" y="72"/></transition><transition><source ref="id12"/><target ref="id12"/><label kind="synchronisation" x="96" y="-16">invoke_LBO?</label><nail x="72" y="-64"/><nail x="72" y="80"/></transition></template><template><name>HM</name><location id="id13" x="0" y="0"></location><init ref="id13"/><transition><source ref="id13"/><target ref="id13"/><label kind="synchronisation" x="-60" y="-15">resp_HM!</label><nail x="-72" y="-64"/><nail x="-72" y="80"/></transition><transition><source ref="id13"/><target ref="id13"/><label kind="synchronisation" x="112" y="-16">invoke_HM?</label><nail x="80" y="-64"/><nail x="80" y="64"/></transition></template><template><name>UC</name><location id="id14" x="0" y="0"></location><init ref="id14"/><transition><source ref="id14"/><target ref="id14"/><label kind="synchronisation" x="-60" y="-15">resp_UC!</label><nail x="-32" y="-56"/><nail x="-32" y="64"/></transition><transition><source ref="id14"/><target ref="id14"/><label kind="synchronisation" x="96" y="-16">invoke_UC?</label><nail x="64" y="-64"/><nail x="64" y="64"/></transition></template><template><name>Hospital</name><location id="id15" x="0" y="0"></location><init ref="id15"/><transition><source ref="id15"/><target ref="id15"/><label kind="synchronisation" x="-208" y="-16">Hospital_response?</label><nail x="-72" y="-48"/><nail x="-72" y="64"/></transition><transition><source ref="id15"/><target ref="id15"/><label kind="synchronisation" x="80" y="-8">Hospital_request!</label><nail x="72" y="-56"/><nail x="72" y="72"/></transition></template><system>// Place template instantiations here.
Process = Template();
P1 = LBS();
P2 =LBO();
P3 = HM();
P4 = UC();
P5 = Hospital();


// List one or more processes to be composed into a system.
system Process,P1,P2,P3,P4,P5;</system></nta>