Colloquium Computer Science - Sung-Shik Jongmans, Open University & CWI
| When: | We 21-09-2022 15:30 - 16:30 |
| Where: | 5161.0293 Bernoulliborg |
Title: A Predicate Transformer for Choreographies
Abstract:
Construction and analysis of distributed systems is difficult; choreographic programming is a deadlock-freedom-by-construction approach to simplify it. In this talk (based on a paper in ESOP 2022), I present a new theory of choreographic programming. It supports for the first time: construction of distributed systems that require decentralised decision making (i.e., if/ while-statements with multiparty conditions); analysis of distributed systems to provide not only deadlock freedom but also functional correctness (i.e., pre/postcondition reasoning). Both contributions are enabled by a single new technique, namely a predicate transformer for choreographies. This is joint work with Petra van den Bos (University of Twente).