A formal model for business process decomposition based on resources consumption with security requirement

Nowadays, a business process can be a very costly investment for companies because they need to purchase additional resources to ensure the smooth running of their business process. But the problem is that the additional resources are used only for very limited time lapse. Using cloud computing can be beneficial for companies to omit the problem of using additional resources for limited time lapse. Furthermore, cloud computing can have a relevant role in managing and constructing the business process for companies. Because it gives us the illusion to perceive the resources such as unlimited computer resources and it gives the possibility of using this resources in a pay per use manner. In the word of industry, outsourcing security management to a third party or exposing sensitive process in cloud computing can be considerate as one of the biggest problem with the deployment using cloud solution in the industry. The main contribution of this paper is to provide a new formal approach by splitting up the business process based on resource consumption and sensitive process. Moreover, this work allows the specification and analysis company requirements in resources consumption and security issues by simulating many parallel executions of business process. To determine which specific process should be assigned to the cloud computing and which should stay in company.