Choreography projection and contract refinement

Mario Bravetti, University of Bologna, Italy

We present a spectrum of notions of projection from choreographical descriptions to orchestrations as well as notions of contract compliance and refinement taking into account, e.g., synchronous and asynchronous communication in several variants. We also report about recent work on decidability of a mechanism for dynamic workflow updates.