Autor: |
Jongmans, Sung-Shik, van den Bos, Petra |
Jazyk: |
angličtina |
Rok vydání: |
2022 |
Zdroj: |
Jongmans, S-S & van den Bos, P 2022, A Predicate Transformer for Choreographies (Full Version) . OUNL-CS (Technical Reports), no. 01, vol. 2022, Open Universiteit Nederland, Heerlen . |
Popis: |
Construction and analysis of distributed systems is difficult; choreographic programming is a deadlock-freedom-by-construction approach to simplify it. In this paper, we 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. |
Databáze: |
OpenAIRE |
Externí odkaz: |
|