Contracts in distributed systems

Details Contracts in distributed systems Contracts in distributed systems

2011-08-02

arxiv.org/abs/1108.0471v1

EPTCS 59, 2011, pp. 130-147

Computer Science

Programming Languages

In Proceedings ICE 2011, arXiv:1108.0144

Scientific paper

10.4204/EPTCS.59.11

We present a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-as-processes and contracts-as-formulae paradigms. The calculus features primitives for advertising contracts, for reaching agreements, and for querying the fulfilment of contracts. Coordination among principals happens via multi-party sessions, which are created once agreements are reached. We present two instances of our calculus, by modelling contracts as (i) processes in a variant of CCS, and (ii) as formulae in a logic. With the help of a few examples, we discuss the primitives of our calculus, as well as some possible variants.

Affiliated with

Also associated with

No associations

Rating

Contracts in distributed systems 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 Contracts in distributed systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Contracts in distributed systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-508370