A Transformation Approach Combining BPMN and Petri Net to Verify Business Processes Construction in terms of Resource Consumption using Cloud Services

In recent years, cloud computing has seen a phenomenal explosion in services use. Moreover, these ones can be used in any area such as service composition, business process construction, creating a complex service…Etc. In our work, we focused on the cloud services use for business process construction. But the problems that arise are firstly, the multitude of similar services for a business process construction and secondly, the divergence in the resource consumption of these services. In this paper we have chosen to use a formal model to describe, verify business process construction by using cloud services and to calculate for each business process activity the resource consumption of all similar services, in order to select the best services (which have a low resource consumption) for the business process construction. In such a way that selection of cloud services is done on the basis of a formal model to prove the correct execution and to achieve formal verification of the business process with a resources representation. In other words, it enables the selection of best similar cloud services based on re-source consumption and this is done through a transformation from a business process model to a formal model.