Choreography Rehearsal

We propose a methodology for statically predicting the possible interaction patterns of services within a given choreography.
We focus on choreographies exploiting the event notification paradigm to manage service interactions.
Control Flow Analysis techniques
statically approximate which events can be delivered to match the choreography constraints and how the multicast groups can be optimised
to handle event notification within the service choreography.