Data Flow Testing of Service-Oriented Workflow Appl

1 of 0008), 71380, 2008 a of to ML in in a in to in It a to We as a is We in as if to be in We an to a of to is . a of 1, to a 4. a s 1, or 2 to of of 1 so To by ML 11. or 3 is an to as ML by a or in a in 4 A or to a ML a to is to be a to In a V&V) as in 2229, 25, 18, 1228) do or it as a &V 1011) in of of In a in a ML ML 3) to on of ML ML in ML as in of to in a in We a .1 to * 2008. is of It is by CM of 0008), 71380, 2008. is in by of 111107, 123207, 16507). be (+852) 2859 2183. (+852) 2858 4141. to or of or of or is or or on To or to on or to to or a 2 be in to 16. To do ML In we a to As is in a we to be to so it be to a as as et 13 a a of to is We to of as in 6). a of of we a no be or a of we ). As to of an to of or of We a RG to In of 82026, we as a of a by a as a We in in a We as to a to to be an to in on to By a as a we an to to in a of to of of (i) It a (A is to at a (is (We a of to (v) We a of to of (To we of to It is of is as of to to of an of by a , 2. a in 1. ur to in is 27. It a SL ML is we an to of in a a We as of or by in We 1, , is as (1) by ML in (2) (3) up on in (4) is as by *=, is of an (5) 4no , to 8to (6) 4a a of of is in ML by . 0), 1), 2), in In to or a to it to be a of in 1. We a a in in to SL of 3 By is SL )=*=) ) . 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 . n of we to SL of a as to it of it a of to a in a it is to in 28, be as a as . is , we a Q to . , , to to a in an =*= ( 3. . Q() , as , no , is we no is be We of as in . (i) , Q(Q(or no 4is ( , 4is if is 0001, if is it 0002. is an It an if a to of 4 0001 is 0002 is . by is ML as as of ML of in a In we , we to e 1 in In we on as of is of We in We 21. is |/|/|.|*| n is “*” a .” ( , a ML of , ML ML . To we to of in ML . ML is ML q(t), a on a tTa of in t. a tT, t) t) of x) is at x, x). t) t). By on of q, 21 to a we . 21, a as a n(x)*(x).(x)(q1/x) (x) (q1(x) = =6 y | (x, y) t), y) = ny | (x, y) t)xz | y q1(x), z q2(y)