KPI-Based Service Composition Modeling and Optimization with Design Time User Interaction | IEEE Conference Publication | IEEE Xplore