Analyzing Interacting BPEL Processes

660 views
579 views

Published on

Conference presentation given by Niels Lohmann on September 5, 2006 in Vienna, Austria at the Fourth International Conference on Business Process Management (BPM 2006).

Published in: Technology, Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
660
On SlideShare
0
From Embeds
0
Number of Embeds
3
Actions
Shares
0
Downloads
0
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide
  • BPEL-Prozess hervorheben Kommunikation auch zwischen den Prozessen
  • XML, Bild => Petrinetz
  • asynchronous communication
  • left: automaton easiest to generate – could be a Petri net as well explain ? and !
  • “ terms of payment” so sagen!
  • zeigen: der Shop ist gut und wir haben das mit den formalen Methoden gesehen!
  • Analyzing Interacting BPEL Processes

    1. 1. Analyzing Interacting BPEL Processes Niels Lohmann Peter Massuthe Christian Stahl Daniela Weinberg Humboldt-Universität zu Berlin Department of Computer Science Theory of Programming Group http://www.informatik.hu-berlin.de/top 05.09.2006
    2. 2. Analyzing Interacting BPEL Processes Analyzing Interacting BPEL Processes   interacting BPEL processes may cause nontrivial communication   arising question: Do the involved processes interact properly? 2
    3. 3. Translating BPEL to open Workflow Nets Analyzing Interacting BPEL Processes   pattern-based translation (BPM 2005): BPEL activity  Petri net pattern init <receive    partnerLink="customer" stop    portType="customerPT"    operation="login" ?login    variable="var"> login </receive> (customer) stopped final   optimized translation is implemented in tool BPEL2oWFN 3
    4. 4. Open Workflow Net: An Example Analyzing Interacting BPEL Processes p0   workflow net login ?login   enriched with interface   initial marking terms here: [p0] order ?order ?terms   final marking confirm !confirm !invoice here: [p6, p7] invoice p6 p7 4
    5. 5. Controllability Analyzing Interacting BPEL Processes   interaction steps to reach final marking p0 !login login ?login !terms terms !order order ?order ?terms ?confirm confirm !confirm !invoice ?invoice invoice p6 p7 “partner” net is controllable 5
    6. 6. Interaction Graph (IG) Analyzing Interacting BPEL Processes IG   partners can be automatically generated choice   technical construct: IG   tool: Fiona   output of Fiona: partner or empty IG 6
    7. 7. Operating Guideline (OG) Analyzing Interacting BPEL Processes OG   represents all partners of a service   nodes are annotated   partner = subgraph fulfilling annotations   OG can be automatically generated with tool Fiona 7
    8. 8. Analyzing Interacting BPEL Processes 8 Example
    9. 9. Analyzing Interacting BPEL Processes 9 Online Shop
    10. 10. Generated oWFN Analyzing Interacting BPEL Processes   generated by BPEL2oWFN   64 places   4 input places   3 output places   74 transitions   226 arcs 10
    11. 11. IG and OG of Online Shop one more interleaving Analyzing Interacting BPEL Processes IG   IG not empty: Online Shop is controllable   generated partner behaves as expected 11
    12. 12. Analyzing Interacting BPEL Processes 12 no Modified Shop yes
    13. 13. IG and OG of Modified Shop Analyzing Interacting BPEL Processes IG OG  all partners will eventually send an abort message  no partner will ever receive an invoice  modified shop is useless! But why..? 13
    14. 14. Modified Shop Analyzing Interacting BPEL Processes decision not communicated! yes no 14
    15. 15. Conclusion Analyzing Interacting BPEL Processes   small changes can make BPEL processes useless   finding these bugs is nontrivial   tool chain BPEL2oWFN  Fiona automates verification The tools are free and available at http://tools4bpel.sf.net 15
    16. 16. Open Tasks Analyzing Interacting BPEL Processes   map counterexamples back to BPEL   improve data handling   implementation of existing results for cyclic processes Thank you very much! Questions? The tools are free and available at http://tools4bpel.sf.net 16

    ×