A Cost-Effective Planning Graph Approach for Large-Scale Web Service Composition

<table><tr><td><table class="algorithm" id="alg4"><tr><td colspan="2"> for <svg height="11.75" id="M64" style="vertical-align:-0.23206pt" version="1.1" viewbox="0 0 33.075001 11.75" width="33.075001" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.4)"><use xlink:href="#x1D460"></use></g><g transform="matrix(.017,-0,0,-.017,11.146,11.4)"><use xlink:href="#x2208"></use></g><g transform="matrix(.017,-0,0,-.017,24.847,11.4)"><use xlink:href="#x1D446"></use></g>
</svg> do</td></tr><tr><td colspan="2"> if <svg height="15.1125" id="M65" style="vertical-align:-2.3205pt" version="1.1" viewbox="0 0 208.2625 15.1125" width="208.2625" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.162)"><use xlink:href="#x63"></use></g><g transform="matrix(.017,-0,0,-.017,7.253,12.162)"><use xlink:href="#x6F"></use></g><g transform="matrix(.017,-0,0,-.017,15.735,12.162)"><use xlink:href="#x75"></use></g><g transform="matrix(.017,-0,0,-.017,24.762,12.162)"><use xlink:href="#x6E"></use></g><g transform="matrix(.017,-0,0,-.017,33.737,12.162)"><use xlink:href="#x74"></use></g><g transform="matrix(.017,-0,0,-.017,44.582,12.162)"><use xlink:href="#x28"></use></g><g transform="matrix(.017,-0,0,-.017,50.464,12.162)"><use xlink:href="#x73"></use></g><g transform="matrix(.017,-0,0,-.017,56.702,12.162)"><use xlink:href="#x29"></use></g><g transform="matrix(.017,-0,0,-.017,67.31,12.162)"><path d="M512 230l-437 -233v58l378 199v2l-378 200v58l437 -233v-51z" id="x3E"></path></g><g transform="matrix(.017,-0,0,-.017,81.996,12.162)"><use xlink:href="#x1D446"></use></g><g transform="matrix(.017,-0,0,-.017,90.156,12.162)"><path d="M391 364q0 -28 -20.5 -53.5t-50 -43.5t-70 -34t-73.5 -25t-68 -17v-29q0 -48 20 -81t65 -33q73 0 157 76l16 -23q-107 -113 -221 -113q-21 0 -40.5 6.5t-39 22t-31.5 47t-12 75.5q0 69 33.5 139.5t95.5 114.5q77 55 143 55q42 0 69 -24.5t27 -59.5zM313 350
q0 26 -14.5 40.5t-37.5 14.5q-32 0 -44 -7q-82 -46 -104 -175q200 49 200 127z" id="x1D452"></path></g><g transform="matrix(.017,-0,0,-.017,97.193,12.162)"><use xlink:href="#x1D45F"></use></g><g transform="matrix(.017,-0,0,-.017,104.367,12.162)"><path d="M457 332q0 -81 -41 -161.5t-105.5 -131.5t-129.5 -51q-46 0 -79 30.5t-33 86.5q0 18 7 51q18 95 46 187q6 19 6 33q0 7 -7 7q-24 0 -78 -64l-20 23q32 48 73 77t78 29q33 0 33 -46q0 -38 -10 -70q-28 -92 -39 -152q-7 -38 -7 -57q0 -78 69 -78q68 0 118 75.5t50 194.5
q0 43 -12 57q-11 12 -11 24q0 19 15 35.5t34 16.5q18 0 30.5 -34.5t12.5 -81.5z" id="x1D463"></path></g><g transform="matrix(.017,-0,0,-.017,112.526,12.162)"><use xlink:href="#x1D456"></use></g><g transform="matrix(.017,-0,0,-.017,117.167,12.162)"><path d="M383 397q0 -32 -35 -49q-12 -6 -23 8q-37 45 -84 45t-90 -71q-40 -65 -40 -167q0 -57 22 -86t59 -29q38 0 81.5 24.5t69.5 51.5l16 -21q-44 -53 -104 -84t-109 -31q-56 0 -89.5 41t-33.5 117q0 61 30 124t79 105q33 28 81 50.5t86 22.5q34 0 59 -15.5t25 -35.5z" id="x1D450"></path></g><g transform="matrix(.017,-0,0,-.017,124.068,12.162)"><use xlink:href="#x1D452"></use></g><g transform="matrix(.017,-0,0,-.017,136.783,12.162)"><use xlink:href="#x1D447"></use></g><g transform="matrix(.017,-0,0,-.017,148.105,12.162)"><path d="M499 88q-41 -46 -83.5 -73t-68.5 -27q-41 0 -19 98l52 225q10 43 8 59.5t-16 16.5q-37 0 -112 -65t-117 -135q-14 -42 -38 -179q-36 -7 -75 -20l-7 8l127 594q8 40 2.5 49t-35.5 9h-35l5 25q36 3 71.5 13t56.5 18t25 8q11 0 3 -38l-88 -417h2q77 102 195 167q44 24 79 24
q61 0 30 -130l-52 -220q-8 -33 4 -33q8 0 31 14.5t43 33.5z" id="x210E"></path></g><g transform="matrix(.017,-0,0,-.017,156.876,12.162)"><use xlink:href="#x1D45F"></use></g><g transform="matrix(.017,-0,0,-.017,164.049,12.162)"><use xlink:href="#x1D452"></use></g><g transform="matrix(.017,-0,0,-.017,171.087,12.162)"><use xlink:href="#x1D460"></use></g><g transform="matrix(.017,-0,0,-.017,177.461,12.162)"><use xlink:href="#x210E"></use></g><g transform="matrix(.017,-0,0,-.017,186.233,12.162)"><path d="M445 282q0 -64 -27.5 -125t-80.5 -104q-80 -65 -168 -65q-73 0 -109.5 46.5t-36.5 116.5q0 92 46.5 163t119.5 104q66 30 108 30q67 0 107.5 -43.5t40.5 -122.5zM355 280q0 62 -26.5 94.5t-64.5 32.5q-26 0 -44 -8q-39 -18 -74 -82t-35 -163q0 -57 25.5 -90.5t70.5 -33.5
q22 0 36 6q46 20 79 89t33 155z" id="x1D45C"></path></g><g transform="matrix(.017,-0,0,-.017,194.188,12.162)"><path d="M238 681l-124 -585q-7 -31 4 -31q10 0 37.5 18.5t49.5 41.5l16 -22q-40 -48 -89.5 -81.5t-76.5 -33.5q-42 0 -16 122l105 488q7 32 0 41t-39 9h-35l5 26q35 3 71 13t58 17.5t26 7.5q14 0 8 -31z" id="x1D459"></path></g><g transform="matrix(.017,-0,0,-.017,198.761,12.162)"><path d="M530 686q-79 -330 -126 -595q-5 -24 4 -24q22 0 77 53l16 -24q-42 -49 -88 -78.5t-72 -29.5q-37 0 -19 83l21 99h-2q-62 -83 -153 -141q-65 -41 -97 -41q-28 0 -48 31.5t-20 91.5q0 71 32.5 144t88.5 118q36 30 94 52.5t94 22.5q38 0 68 -13l29 158q7 40 2 47.5t-38 7.5
h-35l1 26q39 4 76 13.5t58.5 17t27.5 7.5q16 0 9 -26zM387 375q-11 11 -38.5 20t-51.5 9q-45 0 -79 -23q-46 -32 -77.5 -107.5t-31.5 -143.5q0 -40 9.5 -58.5t23.5 -18.5q40 0 113.5 70t99.5 118z" id="x1D451"></path></g>
</svg> then</td></tr><tr><td colspan="2">  <svg height="11.75" id="M66" style="vertical-align:-0.23206pt" version="1.1" viewbox="0 0 66.012497 11.75" width="66.012497" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.4)"><use xlink:href="#x1D446"></use></g><g transform="matrix(.017,-0,0,-.017,12.931,11.4)"><use xlink:href="#x2190"></use></g><g transform="matrix(.017,-0,0,-.017,33.873,11.4)"><use xlink:href="#x1D446"></use></g><g transform="matrix(.017,-0,0,-.017,45.806,11.4)"><use xlink:href="#x2212"></use></g><g transform="matrix(.017,-0,0,-.017,59.558,11.4)"><use xlink:href="#x1D460"></use></g>
</svg></td></tr><tr><td colspan="2">for <svg height="11.75" id="M67" style="vertical-align:-0.23206pt" version="1.1" viewbox="0 0 33.075001 11.75" width="33.075001" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.4)"><use xlink:href="#x1D460"></use></g><g transform="matrix(.017,-0,0,-.017,11.146,11.4)"><use xlink:href="#x2208"></use></g><g transform="matrix(.017,-0,0,-.017,24.847,11.4)"><use xlink:href="#x1D446"></use></g>
</svg> do</td></tr><tr><td colspan="2"> if <svg height="15.1125" id="M68" style="vertical-align:-2.3205pt" version="1.1" viewbox="0 0 227.875 15.1125" width="227.875" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.162)"><use xlink:href="#x69"></use></g><g transform="matrix(.017,-0,0,-.017,4.618,12.162)"><use xlink:href="#x6E"></use></g><g transform="matrix(.017,-0,0,-.017,13.916,12.162)"><use xlink:href="#x69"></use></g><g transform="matrix(.017,-0,0,-.017,18.268,12.162)"><use xlink:href="#x74"></use></g><g transform="matrix(.017,-0,0,-.017,23.521,12.162)"><use xlink:href="#x69"></use></g><g transform="matrix(.017,-0,0,-.017,28.127,12.162)"><use xlink:href="#x61"></use></g><g transform="matrix(.017,-0,0,-.017,35.675,12.162)"><use xlink:href="#x6C"></use></g><g transform="matrix(.017,-0,0,-.017,45.653,12.162)"><use xlink:href="#x28"></use></g><g transform="matrix(.017,-0,0,-.017,51.535,12.162)"><use xlink:href="#x1D460"></use></g><g transform="matrix(.017,-0,0,-.017,57.909,12.162)"><use xlink:href="#x29"></use></g><g transform="matrix(.017,-0,0,-.017,68.516,12.162)"><path d="M512 255q0 -105 -90 -179.5t-217 -74.5h-130v50h131q103 0 175.5 59.5t72.5 144.5t-72.5 144.5t-175.5 59.5h-131v50h130q127 0 217 -74.5t90 -179.5z" id="x2283"></path></g><g transform="matrix(.017,-0,0,-.017,83.203,12.162)"><path d="M293 -169q-145 0 -145 128q0 35 4 106t3 104q0 17 -2 28t-10 25.5t-28 23t-51 10.5v29q31 2 51 10.5t28 23t10 25.5t2 28q0 31 -4 101t-3 104q0 132 145 132v-28q-51 -7 -67.5 -30t-16.5 -63q0 -32 6.5 -99.5t6.5 -100.5q0 -97 -83 -115v-4q83 -20 83 -117
q0 -34 -6.5 -99.5t-6.5 -96.5q0 -41 16.5 -65.5t67.5 -31.5v-28z" id="x7B"></path></g><g transform="matrix(.017,-0,0,-.017,89.102,12.162)"><use xlink:href="#x69"></use></g><g transform="matrix(.017,-0,0,-.017,93.658,12.162)"><use xlink:href="#x6E"></use></g><g transform="matrix(.017,-0,0,-.017,102.956,12.162)"><use xlink:href="#x69"></use></g><g transform="matrix(.017,-0,0,-.017,107.325,12.162)"><use xlink:href="#x74"></use></g><g transform="matrix(.017,-0,0,-.017,112.577,12.162)"><use xlink:href="#x69"></use></g><g transform="matrix(.017,-0,0,-.017,117.184,12.162)"><use xlink:href="#x61"></use></g><g transform="matrix(.017,-0,0,-.017,124.731,12.162)"><use xlink:href="#x6C"></use></g><g transform="matrix(.017,-0,0,-.017,134.71,12.162)"><use xlink:href="#x28"></use></g><g transform="matrix(.017,-0,0,-.017,140.591,12.162)"><use xlink:href="#x1D460"></use></g><g transform="matrix(.017,-0,0,-.017,146.966,12.162)"><use xlink:href="#x32"></use></g><g transform="matrix(.017,-0,0,-.017,155.125,12.162)"><use xlink:href="#x29"></use></g><g transform="matrix(.017,-0,0,-.017,165.732,12.162)"><path d="M162 -163h-61v866h61v-866z" id="x2223"></path></g><g transform="matrix(.017,-0,0,-.017,174.912,12.162)"><use xlink:href="#x1D460"></use></g><g transform="matrix(.017,-0,0,-.017,181.286,12.162)"><use xlink:href="#x32"></use></g><g transform="matrix(.017,-0,0,-.017,194.171,12.162)"><use xlink:href="#x2208"></use></g><g transform="matrix(.017,-0,0,-.017,207.872,12.162)"><use xlink:href="#x1D446"></use></g><g transform="matrix(.017,-0,0,-.017,216.032,12.162)"><path d="M283 255q-31 -2 -51 -10.5t-28 -23.5t-10 -27t-2 -30q0 -28 4 -97.5t4 -107.5q0 -128 -146 -128v28q50 7 67.5 31t17.5 63q0 33 -7 100t-7 98q0 96 84 117v4q-84 20 -84 115q0 34 7 102.5t7 98.5q0 40 -17.5 63t-67.5 30v28q28 0 50 -4t45.5 -16.5t37 -40t13.5 -68.5
q0 -37 -4 -106.5t-4 -98.5q0 -18 2 -30t10 -27t28 -23.5t51 -10.5v-29z" id="x7D"></path></g><g transform="matrix(.017,-0,0,-.017,221.93,12.162)"><use xlink:href="#x29"></use></g>
</svg> then</td></tr><tr><td colspan="2"> <i>  </i><svg height="11.6875" id="M69" style="vertical-align:-0.20473pt" version="1.1" viewbox="0 0 65.675003 11.6875" width="65.675003" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.363)"><use xlink:href="#x53"></use></g><g transform="matrix(.017,-0,0,-.017,12.829,11.363)"><use xlink:href="#x2190"></use></g><g transform="matrix(.017,-0,0,-.017,33.771,11.363)"><use xlink:href="#x53"></use></g><g transform="matrix(.017,-0,0,-.017,45.602,11.363)"><use xlink:href="#x2212"></use></g><g transform="matrix(.017,-0,0,-.017,59.354,11.363)"><use xlink:href="#x73"></use></g>
</svg></td></tr><tr><td colspan="2">return <svg height="11.75" id="M70" style="vertical-align:-0.23206pt" version="1.1" viewbox="0 0 8.2875004 11.75" width="8.2875004" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.4)"><use xlink:href="#x1D446"></use></g>
</svg></td></tr></table></td></tr></table>

Mathematical Problems in Engineering

alg4

Algorithm 4

Algorithm 4: A Cost-Effective Planning Graph Approach for Large-Scale Web Service Composition 