KPI-based service composition modeling and optimization with design time user interactionFreddy LécuéNikolay Mehandjievet al.2012SCC 2012