In recent years, cloud environments have emerged as a new paradigm for the execution and the deployment of cost-reduced and optimized business processes. Nevertheless, due to the lack of explicit and formal description of the resource perspective in existing business processes, cloud resources cannot be efficiently and optimally managed. With the aim of formalizing the consumed cloud resources using a shared knowledge base, we propose in this paper a semantic framework for resource-aware business process development in the cloud. Basically, our proposed semantic framework allows for (1) resource description in a formal and unique way, (2) resource allocation management and (3) resource constraints verification. In order to show its feasibility, our approach has been implemented as an extension of Signavio process editor and tested using a real use case study from an industrial partner