Contract compliance and choreography conformance in the presence of message queues

  • Bravetti M
  • Zavattaro G
  • 9


    Mendeley users who have this article in their library.
  • 13


    Citations of this article.


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 pre- cisely, we study the foundational aspects of contract compliance in a language independent way by just taking contracts to be finite labelled transition systems. Then, we relate the proposed theory of contract com- pliance with choreography specifications ` a la WS-CDL where activities are interpreted as pairs of send and receive events. An interesting conse- quence of adopting a language independent representation of contracts is that choreography projection can be defined in structured operational semantics.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Mario Bravetti

  • Gianluigi Zavattaro

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free