A paradigm for safe-by-design distributed systems
Date and Time
Wednesday, May 15th, 2013 at 14:15.
Polacksbacken, room 2414b
Choreography-driven programming is an emerging paradigm for distributed systems, where the behaviour of all participants is given from a global viewpoint. I will present how choreography-driven programming can be used as a model for developing distributed systems that are safe-by-design, i.e., free from communications errors and deadlocks. In our model, dubbed Chor, a system is described globally through a choreography; then, the code for each concrete endpoint entity can be automatically generated, with the guarantees of soundness and completeness wrt the originating choreography. Thanks to its global nature, Chor captures a new class of asynchronous deadlock-free systems that eludes standard type systems in concurrency theory. In this talk, I will give an overview of the formal model behind Chor and its implementation as an IDE for distributed programming. The target implementation language of the Chor compiler is Jolie, enabling the generated code to interoperate with a variety of environments.