Amending Contracts for Choreographies

Details Amending Contracts for Choreographies Amending Contracts for Choreographies

2011-08-02

arxiv.org/abs/1108.0470v1

EPTCS 59, 2011, pp. 111-129

Computer Science

Distributed, Parallel, and Cluster Computing

In Proceedings ICE 2011, arXiv:1108.0144

Scientific paper

10.4204/EPTCS.59.10

Distributed interactions can be suitably designed in terms of choreographies. Such abstractions can be thought of as global descriptions of the coordination of several distributed parties. Global assertions define contracts for choreographies by annotating multiparty session types with logical formulae to validate the content of the exchanged messages. The introduction of such constraints is a critical design issue as it may be hard to specify contracts that allow each party to be able to progress without violating the contract. In this paper, we propose three methods that automatically correct inconsistent global assertions. The methods are compared by discussing their applicability and the relationships between the amended global assertions and the original (inconsistent) ones.

Affiliated with

Also associated with

No associations

Rating

Amending Contracts for Choreographies does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Amending Contracts for Choreographies, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Amending Contracts for Choreographies will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-508368