Value-driven Cloud and Imperative Analysis