Choreographic Compilation of Decentralized Comprehension Patterns

May 17, 2016 at 12:08:34 PM
New CS Dept, Stony Brook Univ,
Engineering Dr,
11794 Stony Brook, NY
From Jul 6, 2016, 10:30 AM
To Jul 6, 2016, 11:00 AM
A paper at #RuleML2016 by Iliano Cervesato and Edmund S. L. Lam, Carnegie Mellon University
We develop an approach to compiling high-level specifications of distributed applications into code that is executable on individual computing nodes. The high-level language is a form of multiset rewriting augmented with comprehension patterns. It enables a programmer to describe the behaviour of a distributed system as a whole rather than from the perspective of the individual nodes, thus dramatically reducing opportunities for programmer errors. It abstracts away the mechanics of communication and synchronization, resulting in concise and declarative specifications. Compilation generates low-level code in a syntactic fragment of this same formalism. This code forces the point of view of each node, and standard state-of-the-art execution techniques are applicable. It is relatively simple to show the correctness of this compilation scheme.