Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
Sensoria Bibliography Site Event based choreography
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo
abstract:
An important issue of the service oriented approach is the ability
to aggregate, through programmable coordination patterns, the
activities involved in service interactions. Two different
approaches can be adopted to tackle service coordination:
orchestration and choreography. In this paper, we
introduce a formal methodology to handle coordination among services
from the perspective of a global observer, in the spirit of
choreography models. In particular, we address the problem of
verifying compliance and consistency between the design of service
interactions and the choreography constraints.