Prototype Platforms for Distributed Agreements

We present a prototype application for coordinating distributed agreements in multi-parties negotiations, where participants can dynamically join ongoing negotiations and where participants know only those parties they have interacted with. Our prototype is tailored to Ad-Hoc network scenarios involving the assignment of tasks for a rescue team operating over disaster areas. Our application is based on asynchronous communication and it exploits the d2pc protocol for committing or aborting a negotiation. Parties have been developed both in Jocaml+Perl and Polyphonic C^@?. The implementation of the commit protocol allows components of both types to participate within the same negotiation.

[1]  Qin Ma,et al.  Compiling Pattern Matching in Join-Patterns , 2004, CONCUR.

[2]  Sylvain Conchon,et al.  Jocaml: mobile agents for Objective-Caml , 1999, Proceedings. First and Third International Symposium on Agent Systems Applications, and Mobile Agents.

[3]  Roberto Bruni,et al.  Flat Committed Join in Join , 2004, Electron. Notes Theor. Comput. Sci..

[4]  Roberto Bruni,et al.  Orchestrating Transactions in Join Calculus , 2002, CONCUR.

[5]  Cédric Fournet,et al.  The reflexive CHAM and the join-calculus , 1996, POPL '96.

[6]  Seif Haridi,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[7]  Roberto Bruni,et al.  Nested Commits for Mobile Calculi: Extending Join , 2004, IFIP TCS.

[8]  Luca Cardelli,et al.  Modern concurrency abstractions for C# , 2002, TOPL.