Voltar
Capítulo de livro Acesso aberto Revisado por pares
BIBTEX RIS

Discourje: Runtime Verification of Communication Protocols in Clojure

2020; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-030-45190-5_15

ISSN

1611-3349

Autores

Ruben Hamers, Sung-Shik Jongmans,

Tópico(s)

Distributed systems and fault tolerance

Resumo

This paper presents Discourje: a runtime verification framework for communication protocols in Clojure. Discourje guarantees safety of protocol implementations relative to specifications, based on an expressive new version of multiparty session types. The framework has a formal foundation and is itself implemented in Clojure to offer a seamless specification–implementation experience. Benchmarks show Discourje's overhead can be less than 5% for real/existing concurrent programs.

Referência(s)