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.
Mendeley saves you time finding and organizing research
Choose a citation style from the tabs below