Performance management and quantitative modeling of IT service processes using mashup patterns | IEEE Conference Publication | IEEE Xplore