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.
show main publications
Event based choreography @ARTICLE{, title = {{Event based choreography}}, author = {{Vincenzo} {Ciancia} and {Gian Luigi} {Ferrari} and {Roberto} {Guanciale} and {Daniele} {Strollo}}, journal = {Science of Computer Programming}, note = {To appear (2010)}, 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.
}, keywords = {aynchronous process calculi, Behavioural Equivalence, Bisimilarity, conformance, dynamic service reconfiguration, formal specification, process algebra, process calculi, SOC modelling and analysis, verification}, partner = {PISA}, school = {University of Pisa}, }
|