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.