Enforcing availability in failure-aware communicating systems

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Choreographic programming is a programming-language design approach that drives error-safe protocol development in distributed systems. Motivated by challenging scenarios in Cyber-Physical Systems (CPS), we study how choreographic programming can cater for dynamic infrastructures where the availability of components may change at runtime. We introduce the Global Quality Calculus (GCq), a process calculus featuring novel operators for multiparty, partial and collective communications; we provide a type discipline that controls how partial communications refer only to available components; and we show that well-typed choreographies enjoy progress.

OriginalsprogEngelsk
TitelFormal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Proceedings
RedaktørerElvira Albert, Ivan Lanese
Antal sider17
ForlagSpringer Verlag
Publikationsdato1 jan. 2016
Sider195-211
ISBN (Trykt)9783319395692
DOI
StatusUdgivet - 1 jan. 2016
Eksternt udgivetJa
Begivenhed36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016 - Heraklion, Crete, Grækenland
Varighed: 6 jun. 20169 jun. 2016

Konference

Konference36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016
LandGrækenland
ByHeraklion, Crete
Periode06/06/201609/06/2016
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind9688
ISSN0302-9743

ID: 235144227