Modelling and Analyzing Context-Aware Composition of Services