Mvn Beenre We Serve - Ene Dern zwhen There & Prx - Kluurgung Luhme IX Axel Mren Grß Dölln, 11. M 2003 2 Gleerung Grunlgen er Beenrke Grunlgen er Beenrke Prleme nh eenrer Melle Auuene Frgeellungen Fz Grunlgen er Beenrke Mellerung Kmpn Anlye Prleme nh eenrer Melle Auuene Frgeellungen Fz 3 4 Melng We Serve Cmpng We Serve Wrklw mule = Wrklw ne Per ne guheegn n en rngly nnee grph + Inere Inpu hnnel (e.g. ) Oupu hnnel (e.g. )!!!! Mul Behwere Gven w mule: Inurne Aer Synl mply: Djn ne Mhng Inere Cmpn: Merge ne Expr nglng nere A nlzn, ermnn! Begn Aer Aer!!!!! Inurne + Aer Inurne New (mpe) We Serve En 5 6 PDF ree wh FnePrn pfry Pr rl vern hp://www.pry.m
Cmpng We Serve Beenrke Gven w mule: Inurne Synl mply: Fully mhng Inere Cmpn: umer n envrnmen mule nurne n ve ver New rue Bune Pre q4 q5!! q4 q4 q5 q5!!! Begn! Inurne + Inurne!! Gegeen Mul M Mul U ene!!!! Umgeung vn M Ene Umgeung U een en Mul M, wenn kmp. Syem wek-un. Ene Mul M heß eenr, wenn e ene Umgeung vn M g, e Mul een. ' ' ' ' U '' ''! U+M M!! En 7 8 Vllänge Beenrke Enrnung er Areen M h ver Aläue Umgeung U een M un üerek zwe Aläue. Ene Umgeung U een en Mul M vlläng, wenn U Mul M een un jeen Alu üerek. Mul M nh vlläng eenr.!!!! q5 q4!! q6 U+M M PRO Mellerung Kmpn Anlye Vrgehenmell Guelne Bepele Tl KONTRA egene Annhmen egene Melle egene Prleme Mlewre lö Prleme! Sprhe verhner Prleme Mellerer h nh 9 10 Prleme nh eenrer Melle Nn-Ll Ll-Che I Grunlgen er Beenrke Prleme nh eenrer Melle Nn-Ll-Che Pre-Dvergene Puerung vn Nhrhen Auuene Frgeellungen Fz Häuger Grun: Gemhe Knlkulöung Exerne Nhrh Inerne Enheung Kene Knlke n BPEL Nhrhenh. Enheung Denh. Enheung SC5!! En NO-Prlem! 11 12 PDF ree wh FnePrn pfry Pr rl vern hp://www.pry.m
Nn-Ll Ll-Che II Nn-Ll Ll-Che III Oenhlh exerne Enheung Umgeung mner <pk> n BPEL Oenhlh kene exerne Enheung Aynhrne Kmmunkn Nhrhen üerhlen enner Oml <nvke> m Anwr En NO-Prlem! AS1 Oenhlh nerne Enheung Auwerung vn Den <wh> n BPEL Oenhlhe Verklemmung Unklre Enheung Fehler whrhenlh Oenhlh meller En NO-Prlem! SC2 1 2 13 14 Pre-Dvergene Puerung vn Nhrhen Senr <equene> <reeve /> <gn e := rue/> <whle e> <reply > <nvke l_e/> </whle> <reply > </equene> En NO-Prlem! Seuerung <equene> <nvke /> <gn e := rue, x:=0/> <whle e> <pk,> < gn x:=x+> < gn e:=le> </pk> </whle> </equene> Shnellen Unehränke Kpzä Puerung vn Nhrhen We Serve In-Tme-Semnk Dn -Cre-Semnk Üerrgung Löhen Auräumen SC3! 16 Auuene Frgeellungen Nhwe er Beenrke Grunlgen er Beenrke Prleme nh eenrer Melle Auuene Frgeellungen Nhwe er Beenrke Veränn er Przee Semnhe Kmplä Äquvlenz Arkn Fz Kmplexe Mul Gekpeler Prze Bune-Srege Zwe Kunengruppen Orgnn Zwe Aelungen I Mul eenr q n Mul ecmmere Reeve Orer New Knwn R.Aun. Quenry Cnnen Spe. Oer Re.Cre Re. Term Spe. Oer Cr Numer Pymen Reeve Flle Frm Dun 0 1 2 3 Clle Clle Inrmn Inrmn 4 upply nrmn 5 17 18 PDF ree wh FnePrn pfry Pr rl vern hp://www.pry.m
Nhwe er Beenrke Veränn er Przee FWZK r 1 4,7,10 n 6,12 7,10,11 n 6,12, 7,10,11 6,12,n 4,7,10, n Kmmunknum = Beenequenzen Fehlerhe Sequenzen unuere Enzuäne Enernen ehlerhe Sequenzen Prlem e Fährmnn m Wl, Zege & Khlkp Wrklw-Mul kmplex zyklh knlg w z k m e wl zl kl L 2 3 w z k!m 4 5 6 7 8 L R w z k!m 9 10 11 12 13,,n,, Agehlener Kmmunknum wr zr kr R 14! 16 ene 19 20 Veränn er Przee Veränn er Przee mxbg(fwzk) [r] Anlye lgeüz eekv nhulh Auereung Beenequenzen relevne Inrmn Verrggrunlge [L,L,gL,wL] [L,R,gR,wL] [] [] [L,L,gR,wL] [L,R,gR,wR] [R,R,gR,wL] [L,L,gL,wR] [R,R,gL,wR] [R,L,gL,wL] [] [] [R,L,gL,wR] [m,] [ene] 21 22 Semnhe Kmplä Äquvlenz Vermler 1 Hänler1 1 Hänler2 M1 M2 p m m!1 m!2 m1 1 2 m1 1 1 m1 2 2!!!!! m2 m2 [1] [,] [,]!m1!p!m2!p m2 m2 1 2 2!1 2!2 [2] [,] [,] 23 24 PDF ree wh FnePrn pfry Pr rl vern hp://www.pry.m
Äquvlenz Arkn Ge Inerry Trp Reervn - Prvre Vew - M3 M4 Rekenepel r Chek Cre Cr n 1 2 Reje Reervn Cnrm Reepn!!!! Flgh Hel Reervn Reervn n n 3 4 5 6 0 1 2 [r] [] 7 8 9 10 3 OR 4 AND [2] [3] [0] Cn 5 Trp Sheule Bul Trp Sheule 6 Bll Cre Cr 7 Aunng 8 25 9 26 Arkn Fz [r] Rekenepel [] Trp Reervn - Pul Vew - Invl Cre Cr r Reje Reervn Ge Inerry All reure vlle A le ne reure ully ke Cn Beenrke Grunlgenrhung Erkennngewnn Dern!!! Anwenung Pryp eer l nh Prleme n, Bewuen nh nh Gempke mh en (öknmhen) Wer u [0] Trp Sheule 27 28 PDF ree wh FnePrn pfry Pr rl vern hp://www.pry.m