Toward a correct and optimal time-aware cloud resource allocation to business processes

Abstract Cloud is an increasingly popular computing paradigm that provides on-demand services to organizations for deploying their business processes over the Internet as it reduces their needs to plan ahead for provisioning resources. Cloud providers offer competitive pricing strategies (e.g., on-demand, reserved, and spot) specified based on temporal constraints to accommodate organizations’ changing and last-minute demands. Despite their varieties and benefits to optimize business process deployment cost, using those pricing strategies can lead to violating time constraints and exceeding budget constraints due to inappropriate decisions when allocating cloud resources to business processes. In this paper, we present an approach to guarantee a correct and optimal time-aware allocation of cloud resources to business processes. Correct because time constraints on these processes are not violated. And, optimal because the deployment cost of these processes is minimized. For this purpose, our approach uses timed automata to formally verify the matching between business processes’ temporal constraints and cloud resources’ time availabilities and linear programming to optimize deployment costs. Experiments demonstrate the technical doability of our proposed approach.

[1]  Manfred Reichert,et al.  RALph: A Graphical Notation for Resource Assignments in Business Processes , 2015, CAiSE.

[2]  Slim Kallel,et al.  Formal Verification of Time-Aware Cloud Resource Allocation in Business Process , 2016, OTM Conferences.

[3]  Keqin Li,et al.  Efficient task scheduling for budget constrained parallel applications on heterogeneous cloud computing systems , 2017, Future Gener. Comput. Syst..

[4]  Yushun Fan,et al.  Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[5]  Mathias Weske.  Business Process Management Architectures , 2012 .

[6]  Mohamed Graiet,et al.  Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process , 2015, 2015 IEEE International Conference on Services Computing.

[7]  AlkhanakEhab Nabiel,et al.  Cost-aware challenges for workflow scheduling approaches in cloud computing environments , 2015 .

[8]  Marie-Pierre Gervais,et al.  Formalization of fUML: An Application to Process Verification , 2014, CAiSE.

[9]  Slim Kallel,et al.  Time patterns for cyber-physical systems , 2016, 2016 IEEE Symposium on Computers and Communication (ISCC).

[10]  Wil M. P. van der Aalst,et al.  Constraint-Based Workflow Models: Change Made Easy , 2007, OTM Conferences.

[11]  Jan Mendling,et al.  A Configurable Resource Allocation for Multi-tenant Process Development in the Cloud , 2016, CAiSE.

[12]  Walid Gaaloul,et al.  Towards Resource-aware Business Process development in the Cloud , 2015, 2015 IEEE 29th International Conference on Advanced Information Networking and Applications.

[13]  Leslie Lamport,et al.  Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.

[14]  Jesús Carretero,et al.  iCanCloud: A Flexible and Scalable Cloud Infrastructure Simulator , 2012, Journal of Grid Computing.

[15]  Peng Zhang,et al.  Datacenter net profit optimization with deadline dependent pricing , 2012, 2012 46th Annual Conference on Information Sciences and Systems (CISS).

[16]  Yike Guo,et al.  Optimization of Resource Scheduling in Cloud Computing , 2010, 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

[17]  Slim Kallel,et al.  Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes , 2018, 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA).

[18]  Wan Fokkink,et al.  Adapting the UPPAAL model of a distributed lift system , 2007, FSEN'07.

[19]  Fairouz Fakhfakh,et al.  Preserving the Correctness of Dynamic Workflows within a Cloud Environment , 2018, KES.

[20]  Hicham Chehade,et al.  The Human Resources Assignment with Multiple Sites Problem , 2015 .

[21]  Manuel Resinas,et al.  Specification and automated design-time analysis of the business process human resource perspective , 2015, Inf. Syst..

[22]  Kunihiko Hiraishi,et al.  Formal verification of business processes with temporal and resource constraints , 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics.

[23]  Mala Kalra,et al.  Deadline constrained scheduling of scientific workflows on cloud using hybrid genetic algorithm , 2017, 2017 7th International Conference on Cloud Computing, Data Science & Engineering - Confluence.

[24]  Rajkumar Buyya,et al.  CloudSim: a toolkit for modeling and simulation of cloud computing environments and evaluation of resource provisioning algorithms , 2011, Softw. Pract. Exp..

[25]  Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes , 2014, 2014 IEEE International Conference on Services Computing.

[26]  Slim Kallel,et al.  Optimal business process deployment cost in cloud resources , 2020, The Journal of Supercomputing.

[27]  Vijayan Sugumaran,et al.  Task scheduling techniques in cloud computing: A literature survey , 2019, Future Gener. Comput. Syst..

[28]  Slim Kallel,et al.  Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process , 2017, 2017 IEEE International Conference on Services Computing (SCC).

[29]  Dzmitry Kliazovich,et al.  GreenCloud: a packet-level simulator of energy-aware cloud computing data centers , 2010, The Journal of Supercomputing.

[30]  Julian Proenza,et al.  Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions , 2013, IEEE Transactions on Software Engineering.

[31]  Mahmoud Al-Ayyoub,et al.  CloudExp: A comprehensive cloud computing experimental framework , 2014, Simul. Model. Pract. Theory.

[32]  Denis Gagné,et al.  Time-BPMN , 2009, 2009 IEEE Conference on Commerce and Enterprise Computing.

[33]  Bharadwaj Veeravalli,et al.  Optimal provisioning for scheduling divisible loads with reserved cloud resources , 2012, 2012 18th IEEE International Conference on Networks (ICON).

[34]  Xiao Liu,et al.  Adaptive Temporal Verification and Violation Handling for Time-Constrained Business Cloud Workflows , 2018, ICSOC.

[35]  Wang Yi,et al.  Verifying temporal constraints on data in multi-rate transactions using timed automata , 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.

[36]  Liam Murphy,et al.  VM reassignment in hybrid clouds for large decentralised companies: A multi-objective challenge , 2018, Future Gener. Comput. Syst..

[37]  Amel Mammar,et al.  Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B , 2016, 2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA).

[38]  Saoussen Cheikhrouhou,et al.  Toward a Time-centric modeling of Business Processes in BPMN 2.0 , 2013, IIWAS '13.

[39]  Lan Yuqing,et al.  Using CloudSim to Model and Simulate Cloud Computing Environment , 2013, 2013 Ninth International Conference on Computational Intelligence and Security.

[40]  Manuel Laguna,et al.  Business Process Modeling, Simulation and Design , 2004 .

[41]  Saoussen Cheikhrouhou,et al.  Toward a Verification of Time-Centric Business Process Models , 2014, 2014 IEEE 23rd International WETICE Conference.

[42]  Xiao Liu,et al.  Sliding-window based Propagation-aware Temporal Verification for Monitoring Parallel Cloud Business Workflows , 2018, 2018 IEEE 22nd International Conference on Computer Supported Cooperative Work in Design ((CSCWD)).

[43]  Claude Godart,et al.  Partitioning and Cloud Deployment of Composite Web Services under Security Constraints , 2013, 2013 IEEE International Conference on Cloud Engineering (IC2E).

[44]  Yaser Jararweh,et al.  TeachCloud: a cloud computing educational toolkit , 2013, Int. J. Cloud Comput..

[45]  Xiao Liu,et al.  Propagation-Aware Temporal Verification for Parallel Business Cloud Workflows , 2017, 2017 IEEE International Conference on Web Services (ICWS).

[46]  Saoussen Cheikhrouhou,et al.  The temporal perspective in business process modeling: a survey and research challenges , 2014, Service Oriented Computing and Applications.

[47]  Günther R. Raidl,et al.  Combining (Integer) Linear Programming Techniques and Metaheuristics for Combinatorial Optimization , 2008, Hybrid Metaheuristics.

[48]  Sai Peck Lee,et al.  Cost-aware challenges for workflow scheduling approaches in cloud computing environments: Taxonomy and opportunities , 2015, Future Gener. Comput. Syst..

[49]  Daniel Solow.  Linear and Nonlinear Programming , 2008, Wiley Encyclopedia of Computer Science and Engineering.

[50]  Fairouz Fakhfakh,et al.  Dealing with structural changes on provisioning resources for deadline-constrained workflow , 2016, The Journal of Supercomputing.

[51]  Junlong Zhou,et al.  Cost and makespan-aware workflow scheduling in hybrid clouds , 2019, J. Syst. Archit..

[52]  Jan Mendling,et al.  Cost-Efficient Scheduling of Elastic Processes in Hybrid Clouds , 2015, 2015 IEEE 8th International Conference on Cloud Computing.

[53]  Umesh Bellur,et al.  Cost Optimization in Multi-site Multi-cloud Environments with Multiple Pricing Schemes , 2013, 2014 IEEE 7th International Conference on Cloud Computing.

[54]  Hailong Sun,et al.  Towards Trustworthy Composite Service Through Business Process Model Verification , 2010, 2010 7th International Conference on Ubiquitous Intelligence & Computing and 7th International Conference on Autonomic & Trusted Computing.

[55]  Javier García,et al.  Optimal allocation of virtual machines in multi-cloud environments with reserved and on-demand pricing , 2017, Future Gener. Comput. Syst..

[56]  Carlos Arévalo,et al.  Discovering Business Models for Software Process Management - An Approach for Integrating Time and Resource Perspectives from Legacy Information Systems , 2015, ICEIS.

[57]  Blesson Varghese,et al.  A survey and taxonomy of resource optimisation for executing bag-of-task applications on public clouds , 2017, Future Gener. Comput. Syst..

[58]  Bu-Sung Lee,et al.  Optimization of Resource Provisioning Cost in Cloud Computing , 2012, IEEE Transactions on Services Computing.

[59]  Stefanie Rinderle-Ma,et al.  Predicting Resource Allocation and Costs for Business Processes in the Cloud , 2015, 2015 IEEE World Congress on Services.

[60]  Denis A. Nasonov,et al.  Workflow Scheduling Algorithms for Hard-deadline Constrained Cloud Environments , 2016, ICCS.

[61]  Ikram Garfatta,et al.  Formal Modelling and Verification of Cloud Resource Allocation in Business Processes , 2018, OTM Conferences.