descriptions of how to derive solutions in a cloud environment where physical machines