Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process

Cloud environments are being increasingly used for deploying and executing business processes to provide a high level of performance with low operating cost. Nevertheless, due to the lack of explicit and formal description of the resource perspective in existing business processes, cloud resources c... View More