Contract Compliance and Choreography Conformance in the Presence of Message Queues
Choreography conformance and contract compliance have been widely studied in the context of synchronous communication. In this paper we approach a more realistic scenario in which the messages containing the invocations are queued in the called service. More precisely, we study the foundational aspects of contract compliance in a language independent way by just taking contracts to be finite labeled transition systems. Then, we relate the proposed theory of contract compliance with choreography specifications à la WS-CDL where activities are interpreted as pairs of send and receive events. An interesting consequence of adopting a language independent representation of contracts is that choreography projection can be defined in structured operational semantics.
KeywordsService Composition Operational Semantic Contract Theory Label Transition System Service Orient Computing
Unable to display preview. Download preview PDF.
- [BZ08]Bravetti, M., Zavattaro, G.: Contract Compliance and Choreography Conformance in the Presence of Message Queues. Technical report, http://www.cs.unibo.it/~bravetti/html/techreports.html
- [CGP08]Castagna, G., Gesbert, N., Padovani, L.: A Theory of Contracts for Web Services. In: POPL 2008, pp. 261–272. ACM Press, New York (2008)Google Scholar
- [DKL+07]Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: Extending BPEL for Modeling Choreographies. In: IEEE 2007 International Conference on Web Services (ICWS), Salt Lake City, Utah, USA. IEEE Copmuter Society, Los Alamitos (2007)Google Scholar
- [OAS]OASIS. Web Services Business Process Execution Language Version 2.0Google Scholar
- [W3C]W3C. Web Services Choreography Description Language, http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217