A Formal Framework for Web Services Coordination Export

@article{citeulike:2578333, abstract = {Recently the term Web Services Choreography has been introduced to address some issues related to Web Services Composition and Coordination. Several proposals for describing Choreography for Business Processes have been presented in the last years and many of these languages (e.g. BPEL4WS) make use of concepts as long-running transactions and compensations for coping with error handling. However, the complexity of BPEL4WS makes it difficult to formally define this framework, thus limiting the formal reasoning about the designed applications. In this paper, we formally address Web Services Coordination with particular attention to Web transactions. We enhance our past work - the Event Calculus - introducing two main novelties: i) a multicast event notification mechanism, and ii) event scope names binding. The former enables an easier specification of complex coordination scenarios -- such as E-commerce applications require -- while the latter allows many new interesting behaviors which can be very useful in business scenarios: the introduction of private event scope names -- used to deal with security and privacy -- and a dynamic event scopes definition that can be used to manage multiple instances of the same application.}, author = {Guidi, Claudio and Lucchi, Roberto and Mazzara, Manuel}, booktitle = {Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004)}, citeulike-article-id = {2578333}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/j.entcs.2006.10.046}, citeulike-linkout-1 = {http://www.sciencedirect.com/science/article/B75H1-4P00WW8-5/2/b39ea72d4a20917446697416ac7a52e3}, day = {26}, doi = {10.1016/j.entcs.2006.10.046}, journal = {Electronic Notes in Theoretical Computer Science}, keywords = {choreography, csp, pi-calculus, webservice}, month = {June}, number = {2}, pages = {55--70}, posted-at = {2008-03-24 05:05:36}, priority = {3}, title = {A Formal Framework for Web Services Coordination}, url = {http://dx.doi.org/10.1016/j.entcs.2006.10.046}, volume = {180}, year = {2007} }

TY - JOUR ID - citeulike:2578333 L3 - citeulike-article-id:2578333 N2 - Recently the term Web Services Choreography has been introduced to address some issues related to Web Services Composition and Coordination. Several proposals for describing Choreography for Business Processes have been presented in the last years and many of these languages (e.g. BPEL4WS) make use of concepts as long-running transactions and compensations for coping with error handling. However, the complexity of BPEL4WS makes it difficult to formally define this framework, thus limiting the formal reasoning about the designed applications. In this paper, we formally address Web Services Coordination with particular attention to Web transactions. We enhance our past work - the Event Calculus - introducing two main novelties: i) a multicast event notification mechanism, and ii) event scope names binding. The former enables an easier specification of complex coordination scenarios -- such as E-commerce applications require -- while the latter allows many new interesting behaviors which can be very useful in business scenarios: the introduction of private event scope names -- used to deal with security and privacy -- and a dynamic event scopes definition that can be used to manage multiple instances of the same application. IS - 2 JF - Electronic Notes in Theoretical Computer Science EP - 70 TI - A Formal Framework for Web Services Coordination VL - 180 T2 - Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004) SP - 55 KW - choreography KW - csp KW - pi-calculus KW - webservice AU - Guidi, Claudio AU - Lucchi, Roberto AU - Mazzara, Manuel PY - 2007/06/26/ UR - http://dx.doi.org/10.1016/j.entcs.2006.10.046 ER -