TINA-oriented Service Engineering Support to Service Composition and Federation