On modelling non-functional properties of semantic web services