Web Services and Formal Methods

Volume 6194 of the series Lecture Notes in Computer Science pp 29-45

Choreography Rehearsal

  • Chiara BodeiAffiliated withDipartimento di Informatica, Università di Pisa
  • , Gian Luigi FerrariAffiliated withDipartimento di Informatica, Università di Pisa

* Final gross prices may vary according to local VAT.

Get Access


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.