A theoretical approach for modelling Cloud Services Composition | IEEE Conference Publication | IEEE Xplore