Abstract
Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is the interaction between two peers which are of two kinds: request and request-respond. WS-CDL, which is the most representative choreography language, supports a pattern for programming the request interaction and two patterns for the request-respond one. Furthermore, it allows to specify if an interaction is aligned or not whose meaning is related to the possibility to control when the interaction completes. In this paper we reason about interaction patterns by analyzing their adequacy when considering the fact that they have to support the alignment property. We show the inadequacy of the two patterns supporting the request-respond interaction; one of them because it does not permit to reason on alignment at the right granularity level and the other one for some expressiveness lacks.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bravetti, M., Guidi, C., Lucchi, R., Zavattaro, G.: Supporting e-commerce systems formalization with choreography languages. In: SAC, pp. 831–835 (2005)
Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing web services choreographies. In: Bravetti, M., Zavattaro, G. (eds.) Proc. of 1st International Workshop on Web Services and Formal Methods (WS-FM 2004). ENTCS, vol. 105. Elsevier, Amsterdam (2004)
Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Towards a formal framework for Choreography. In: Proc. of 3rd International Workshop on Distributed and Mobile Collaboration (DMC 2005), IEEE Computer Society Press, Los Alamitos (2005) (to appear)
Leymann, F.: Web Services Flow Language (WSFL 1.0) ]Member IBM Academy of Technology, IBM Software Group (2001), http://www-4.ibm.com/software/solutions/webservices/pdf/WSFL.pdf
Microsoft, I.B.M., Siebel Systems, B.: Business Process Execution Language for Web Services Version 1.1, http://www-106.ibm.com/developerworks/library/ws-bpel/
Thatte, S.: XLANG: Web Services for Business Process Design. Microsoft Corporation (2001), http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm
W3C. Web Services Choreography Description Language Version 1.0. Working draft (December 17, 2004), http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/
W3C. Web Services Choreography Working Group, public mailing list. public-ws-chor@w3.org
W3C. Web Services Description Language (WSDL) 1.1, http://www.w3.org/TR/wsdl
World Wide Web Consortium (W3C). Web service choreography interface (wsci) 1.0 (2002), http://www.w3.org/TR/wsci
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gorrieri, R., Guidi, C., Lucchi, R. (2005). Reasoning About Interaction Patterns in Choreography. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds) Formal Techniques for Computer Systems and Business Processes. EPEW WS-FM 2005 2005. Lecture Notes in Computer Science, vol 3670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11549970_24
Download citation
DOI: https://doi.org/10.1007/11549970_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28701-8
Online ISBN: 978-3-540-31903-0
eBook Packages: Computer ScienceComputer Science (R0)