SLA detective control model for workflow composition of cloud services | IEEE Conference Publication | IEEE Xplore