Declarative Specification and Verification of Service Choreographies

  title={Declarative Specification and Verification of Service Choreographies},
  author={Marco Montali and Maja Pesic and Wil M. P. van der Aalst and Federico Chesani and Paola Mello and Sergio Storari},
Service oriented computing, an emerging paradigm for architecting and implementing business collaborations within and across organizational boundaries, is currently of interest to both software vendors and scientists. While the technologies for implementing and interconnecting basic services are reaching a good level of maturity, modeling service interaction from a global viewpoint, i.e., representing service choreographies, is still an open challenge. The main problem is that, although… CONTINUE READING
Highly Influential
This paper has highly influenced 14 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 121 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 74 citations

122 Citations

Citations per Year
Semantic Scholar estimates that this publication has 122 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 102 references