Experiences modelling and using formal object-oriented telecommunication service frameworks