Decentralized cloud service composition formalization using the bargaining game model | IEEE Conference Publication | IEEE Xplore