Choreographing Web Services Export

@article{citeulike:5352988, abstract = {This paper introduces the Multiagent Protocols (MAP) Web service choreography language and demonstrates how service choreographies can be specified, verified, and enacted with a comparatively simple process language. MAP is a directly executable specification, services do not have to be preconfigured at design-time. Instead, a choreography, specified in MAP, can be sent dynamically to a group of distributed peers to execute at runtime. Furthermore, MAP is based on a formal foundation, this allows model checking of the choreography definition prior to live distribution and enactment. A motivating scenario, taken from the AstroGrid science use-cases, serves as the focal point for the paper and highlights the benefits of choreography, through data flow optimization and lack of centralized server. The MAP formal syntax and model checking environment are discussed in the context of the motivating scenario, along with MagentA, an implementation of MAP which provides a concrete, and open-source framework for the enactment of distributed choreographies. MAP is evaluated by demonstrating the languages conformance to the Service Interaction Patterns, a collection of 13 recurring workflow patterns.}, address = {Los Alamitos, CA, USA}, author = {Barker, Adam and Walton, Christopher D. and Robertson, David}, booktitle = {Services Computing, IEEE Transactions on}, citeulike-article-id = {5352988}, citeulike-linkout-0 = {http://doi.ieeecomputersociety.org/10.1109/TSC.2009.8}, citeulike-linkout-1 = {http://dx.doi.org/10.1109/TSC.2009.8}, citeulike-linkout-2 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4815204}, doi = {10.1109/TSC.2009.8}, issn = {1939-1374}, journal = {IEEE Transactions on Services Computing}, keywords = {2009, choreography, decentralised, soa, web-service, wsdl}, number = {2}, pages = {152--166}, posted-at = {2009-08-04 14:39:34}, priority = {0}, publisher = {IEEE Computer Society}, title = {Choreographing Web Services}, url = {http://dx.doi.org/10.1109/TSC.2009.8}, volume = {2}, year = {2009} }

TY - JOUR ID - citeulike:5352988 L3 - citeulike-article-id:5352988 N2 - This paper introduces the Multiagent Protocols (MAP) Web service choreography language and demonstrates how service choreographies can be specified, verified, and enacted with a comparatively simple process language. MAP is a directly executable specification, services do not have to be preconfigured at design-time. Instead, a choreography, specified in MAP, can be sent dynamically to a group of distributed peers to execute at runtime. Furthermore, MAP is based on a formal foundation, this allows model checking of the choreography definition prior to live distribution and enactment. A motivating scenario, taken from the AstroGrid science use-cases, serves as the focal point for the paper and highlights the benefits of choreography, through data flow optimization and lack of centralized server. The MAP formal syntax and model checking environment are discussed in the context of the motivating scenario, along with MagentA, an implementation of MAP which provides a concrete, and open-source framework for the enactment of distributed choreographies. MAP is evaluated by demonstrating the languages conformance to the Service Interaction Patterns, a collection of 13 recurring workflow patterns. IS - 2 JF - IEEE Transactions on Services Computing SN - 1939-1374 AD - Los Alamitos, CA, USA EP - 166 TI - Choreographing Web Services PB - IEEE Computer Society VL - 2 T2 - Services Computing, IEEE Transactions on SP - 152 KW - 2009 KW - choreography KW - decentralised KW - soa KW - web-service KW - wsdl AU - Barker, Adam AU - Walton, Christopher AU - Robertson, David PY - 2009/// UR - http://dx.doi.org/10.1109/TSC.2009.8 ER -