Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability

This project aims at developing new calculi and techniques to address a number of hot, cross-cutting questions in the foundations of architectural design for service-oriented computing. The project explores dialgebraic structures as a possible semantic foundation and suitable logics for modelling and verifying behavioural properties.

(read more)

Project info