1. Realizability of Interaction Models Gero Decker ZEUS Workshop, Stuttgart 3 Mar 2009

4. Choreography Modeling

6. Interconnection Models incompatible loops incompatible branching structures incompatible sequence flow abstraction level = messages

7. Interaction Models atomic interactions decision ownership global control flow dependencies complex interactions global loops

8. Interaction Petri Nets

9. Interaction Petri Nets Customer Manufacturer Reseller Payment Org

10. Realizability

13. Fu, Bultan & Su: Realizability (2004) Traces = { [(A, τ ,A),(A,x,B),(B,y,C)], [(A, τ ,A),(A,x,B)]} Traces = { [(A, τ ,A),(A,x,B),(B,y,C)], [(A, τ ,A),(A,x,B)]}

14. Now: Focus on Branching Structures

15. Role Projection: Preserving Branching Structures

16. Role Projection: Preserving Branching Structures

17. Role Projection: Preserving Branching Structures