News‎ > ‎

Seminar: a contract-oriented middleware

posted Oct 7, 2015, 12:14 PM by Massimo Bartoletti
Upcoming Seminar

A contract-oriented middleware

October 9, 12.00 (Aula C)
Palazzo delle Scienze - Cagliari

Alessandro Sebastian Podda
Università degli Studi di Cagliari

We exploit a theory of timed behavioural contracts to formalise, design and implement a message-oriented middleware where distributed services can be dynamically composed, and their interaction monitored to detect contract violations. We show that the middleware allows to reduce the complexity of developing distributed applications, by relieving programmers from the need to explicitly deal with the misbehaviour of external services.