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.