A Compositional Approach to Performance Modelling