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.
CITATION STYLE
Bravetti, M., & Zavattaro, G. (2009). Contract compliance and choreography conformance in the presence of message queues. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5387, pp. 127–142). Springer Verlag. https://doi.org/10.1007/978-3-642-01364-5_3
Mendeley helps you to discover research relevant for your work.