A NEW METHOD TOWARDS CHOREOGRAPHIC PROGRAMMING

Abstract

Choreographic programming is a paradigmthat aims to create distributed systems without deadlocks by providing a global perspective of communication. This approach focuses on explicit descriptions of all communication, leading to a "correct by design" solution. Current theories use formal proofs, which are often complex, time-consuming and therefore difficult to extend. This paper presents a new approach for defining, verifying, and projecting choreographies that shifts the responsibility for system verification to a model checker. This approach enables extensible and practical solutions for choreographic programming.

Date of Award	9 Apr 2024
Original language	English
Supervisor	Tobias Kappé (Examiner) & Stefano Schivo (Co-assessor)