Tool demo: a contract-oriented middleware

Post date: 17-Apr-2015 13:27:01

Tool demo

A contract-oriented middleware

April 17

BETTY meeting

Massimo Bartoletti

Dip. Matematica e Informatica - University of Cagliari

Abstract. We exploit timed session types to implement a contract-oriented middleware, where distributed modules with compliant protocols can be dynamically composed, and their communications monitored, so to guarantee safe interactions.