A formal model of cloud-deployed software and its application to workflow processing | IEEE Conference Publication | IEEE Xplore