AUTOMATIC SERVICE COMPOSITION AND SYNTHESIS: THE ROMAN MODEL