Seminar: a contract-oriented middleware

Post date: 07-Oct-2015 19:14:31

Upcoming Seminar

A contract-oriented middleware

October 9, 12.00 (Aula C)

Palazzo delle Scienze - Cagliari

Alessandro Sebastian Podda

Università degli Studi di Cagliari

Abstract. 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.