With the emergence of cloud era, varieties of data resources, computing resources as well as service resources have been greatly enriched by many existing cloud platforms. Although these cloud resources have brought new opportunities for management information system reengineering, we are still facing the challenge of the contradictions about "service standardization and personalized demand" or "quality of service and cost of reengineering". In particular, for this challenge, this research project is intended to build the semantic normal form for management information system reengineering based on semantic computation in cloud environments. As a result, the built semantic normal form can be used to implement the standardized descriptions of user requirement semantics, information resource semantics, information service semantics and service process semantics, as well as the transformation calculation. On the basis above, we propose a set of semantic-based methods for requirement understanding, resources calculation, service computing and process reconstruction. Finally, we form a kind of new theory and methodology for service-driven based management information system reengineering in cloud environments, which will be provided to explore an innovation way for the development of management information systems.