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.