Amending Choreographies

  title={Amending Choreographies},
  author={Ivan Lanese and Fabrizio Montesi and Gianluigi Zavattaro},
Choreographies are global descriptions of system behavior s, fr m which the local behavior of each endpoint entity can be obtained automatically through proj ection. To guarantee that its projection is correct, i.e. it has the same behaviors of the original chore ography, a choreography usually has to respect some coherency conditions. This restricts the set o f choreographies that can be projected. In this paper, we present a transformation for amending chor eographies that do not respect… CONTINUE READING

Similar Papers

Loading similar papers…