.. .. Correctness,

.. .. Conclusion, 118 6 Optimization of Business Process Deployment Cost in Cloud Re, p.121

. .. Evaluation,

.. .. Comparison,

.. .. Cloudsim-results,

.. .. Conclusion,

. .. Evaluation, 131 6.4.1 Case study

.. .. Conclusion,

W. Mathias, Business process management: Concepts, languages, architectures 2nd ed., xv, 403 p. 300 illus. hardcover isbn 978-3-642-28615-5mcleod, raymond and schell, george p. 2008 management information systems, 2012.

A. Adesina and D. Molloy, A business process management based virtual learning environment-customised learning paths, CSEDU (1), pp.365-368, 2011.

P. Mell and T. Grance, The nist definition of cloud computing, 2011.

, Amazon ec2, p.20, 2017.

K. Mohit-kumar, S. Dubey, and . Sharma, Job Scheduling Algorithm in Cloud Environment Considering the Priority and Cost of Job, vol.04, pp.313-320, 2017.

F. Jouault and I. Kurtev, Transforming models with atl, International Conference on Model Driven Engineering Languages and Systems, pp.128-138, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00448120

A. Lanz, B. Weber, and M. Reichert, Time patterns for process-aware information systems, Requirements Engineering, vol.19, issue.2, pp.113-141, 2014.

C. Cabanillas, D. Knuplesch, M. Resinas, M. Reichert, J. Mendling et al., Ralph: a graphical notation for resource assignments in business processes, International Conference on Advanced Information Systems Engineering, pp.53-68, 2015.

W. Sadiq and M. E. Orlowska, Analyzing process models using graph reduction techniques. Information systems, vol.25, pp.117-134, 2000.

S. Cheikhrouhou, Specification and Verification of Temporal Constraints in Inter-Organisational Business Processes, 2014.

M. Netjes, . Van-der-aalst, and . Reijers, Analysis of resourceconstrained processes with colored petri nets, Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, vol.576, pp.251-266, 2005.

Y. Seung-yeob-shin, L. J. Brun, and . Osterweil, Specification and analysis of human-intensive system resource-utilization policies, 2016 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems (SEHS), pp.8-14, 2016.

A. Ismaili-alaoui, K. Benali, K. Baïna, and J. Baïna, Business process instances scheduling with human resources based on event priority determination, International Conference on Big Data, Cloud and Applications, pp.118-130, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01889906

G. Havur, C. Cabanillas, J. Mendling, and A. Polleres, Automated resource allocation in business processes with answer set programming, International Conference on Business Process Management, pp.191-203

. Springer, , 2016.

S. Pandey, L. Wu, R. Siddeswara-mayura-guru, and . Buyya, A particle swarm optimization-based heuristic for scheduling workflow applications in cloud computing environments, 24th IEEE international conference on advanced information networking and applications, pp.400-407, 2010.

S. Boubaker, Formal verification of business process configuration in the Cloud. (Vérification formelle de la configuration des processus métiers dans le Cloud), 2018.
URL : https://hal.archives-ouvertes.fr/tel-01818882

H. Ma, Process-aware information systems: Bridging people and software through process technology, Journal of the American Society for Information Science and Technology, vol.58, issue.3, pp.455-456, 2007.

D. Georgakopoulos, M. Hornick, and A. Sheth, An overview of workflow management: From process modeling to workflow automation infrastructure, vol.3, pp.119-153, 1995.

H. Smith and P. Fingar, Business process management: the third wave, vol.1, 2003.

W. Van-der-aalst, K. M. Van-hee, and K. Van-hee, Workflow management: models, methods, and systems, 2004.

. Omg, business process model and notation (bpmn) 2.0

A. Scheer, ARIS-vom Geschäftsprozess zum Anwendungssystem, 2013.

A. Wil-mp-van-der-aalst and . Hofstede, Yawl: yet another workflow language. Information systems, vol.30, pp.245-275, 2005.

J. Daniel, . Clancy, J. Benjamin, and . Kuipers, Qualitative simulation as a temporally-extended constraint satisfaction problem, AAAI/IAAI, pp.240-247, 1998.

B. Kanso and S. Taha, Temporal constraint support for ocl, International Conference on Software Language Engineering, pp.83-103, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00762150

S. Boubaker, W. Gaaloul, M. Graiet, and N. Ben-hadj-alouane, Event-b based approach for verifying cloud resource allocation in business process, Proceedings of the IEEE International Conference on Services Computing, pp.538-545, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01255087

W. Long, L. Yuqing, and X. Qingxin, Using cloudsim to model and simulate cloud computing environment, 2013 Ninth International Conference on Computational Intelligence and Security, pp.323-328, 2013.

D. Gagné and A. Trudel, Time-bpmn, Commerce and Enterprise Computing, 2009. CEC'09. IEEE Conference on, pp.361-367, 2009.

S. Cheikhrouhou, S. Kallel, N. Guermouche, and M. Jmaiel, Enhancing formal specification and verification of temporal constraints in business processes, Services Computing (SCC), 2014.
URL : https://hal.archives-ouvertes.fr/hal-00990226

S. Cheikhrouhou, S. Kallel, N. Guermouche, and M. Jmaiel, Toward a time-centric modeling of business processes in BPMN 2.0, The 15th International Conference on Information Integration and Web-based Applications & Services, p.154, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00921390

S. Boubaker, A. Mammar, M. Graiet, and W. Gaaloul, Formal verification of cloud resource allocation in business processes using event-b, 2016 IEEE 30th International Conference AINA, pp.746-753, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01341653

E. Hachicha and W. Gaaloul, Towards resource-aware business process development in the cloud, Advanced Information Networking and Applications (AINA), pp.761-768, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01255060

I. Garfatta, K. Klai, M. Graiet, and W. Gaaloul, Formal modelling and verification of cloud resource allocation in business processes, Proceedings of the Confederated International Conferences On the Move to Meaningful Internet Systems, pp.552-567, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01996297

A. Lanz, J. Kolb, and M. Reichert, Enabling personalized process schedules with time-aware process views, Advanced Information Systems Engineering Workshops, pp.205-216, 2013.

F. Fakhfakh, H. Hatem, A. H. Kacem, F. Kacem, and . Fakhfakh, Preserving the correctness of dynamic workflows within a cloud environment, Procedia Computer Science, vol.126, pp.1541-1550, 2018.

Z. Huang, X. Van-der-aalst, H. Lu, and . Duan, Reinforcement learning based resource allocation in business process management, Data & Knowledge Engineering, vol.70, issue.1, pp.127-145, 2011.

C. Cabanillas, Process-and resource-aware information systems, 2016 IEEE 20th International Enterprise Distributed Object Computing Conference (EDOC), pp.1-10, 2016.

C. Cabanillas, A. Norta, M. Resinas, J. Mendling, and A. Ruiz-cortés, Towards process-aware cross-organizational human resource management, Enterprise, Business-Process and Information Systems Modeling, pp.79-93, 2014.

L. Stroppi, O. Chiotti, and P. D. Villarreal, A bpmn 2.0 extension to define the resource perspective of business process models, XIV Congreso Iberoamericano en Software Engineering, 2011.

N. Russell, A. Van-der-aalst, D. Hofstede, and . Edmond, Workflow resource patterns: Identification, representation and tool support, International Conference on Advanced Information Systems Engineering, pp.216-232, 2005.

N. Russell and A. Van-der, Evaluation of the bpel4people and wshumantask extensions to ws-bpel 2.0 using the workflow resource patterns, vol.513, p.142, 2007.

M. Iman-firouzian, H. Zahedi, and . Hassanpour, Cycle time optimization of processes using an entropy-based learning for task allocation, International Journal of Engineering, vol.32, issue.8, pp.1090-1100, 2019.

H. Yang, C. Wang, Y. Liu, and J. Wang, An optimal approach for workflow staff assignment based on hidden markov models, OTM Confederated International Conferences" On the Move to Meaningful Internet Systems, pp.24-26, 2008.

M. Rekik, K. Boukadi, N. Assy, W. Gaaloul, and H. Ben-abdallah, A linear program for optimal configurable business processes deployment into cloud federation, Services Computing (SCC), 2016 IEEE International Conference on, pp.34-41, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01455130

G. Rosinosky, S. Youcef, and F. Charoy, A genetic algorithm for cost-aware business processes execution in the cloud, International Conference on Service-Oriented Computing, pp.198-212, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01870828

F. Ebadifard, . Seyed-morteza, and . Babamir, Optimizing multi objective based workflow scheduling in cloud computing using black hole algorithm, 3th International Conference on Web Research (ICWR), pp.102-108, 2017.

F. Fakhfakh, A. Hatem-hadj-kacem, and . Kacem, A provisioning approach of cloud resources for dynamic workflows, IEEE 8th International Conference on, pp.469-476, 2015.

E. Goettelmann, W. Fdhila, and C. Godart, Partitioning and cloud deployment of composite web services under security constraints, Cloud Engineering (IC2E), 2013 IEEE International Conference on, pp.193-200, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00922186

J. Xu, C. Liu, X. Zhao, and Z. Ding, Incorporating structural improvement into resource allocation for business process execution planning, Concurrency and Computation: Practice and Experience, vol.25, issue.3, pp.427-442, 2013.

Y. Chen, G. Xie, and R. Li, Reducing energy consumption with cost budget using available budget preassignment in heterogeneous cloud computing systems, IEEE Access, vol.6, pp.20572-20583, 2018.

W. Tan, Y. Sun, L. X. Li, G. Lu, and T. Wang, A trust service-oriented scheduling model for workflow applications in cloud computing, IEEE Systems Journal, vol.8, issue.3, pp.868-878, 2013.

J. Juan, R. Durillo, and . Prodan, Multi-objective workflow scheduling in amazon ec2, Cluster computing, vol.17, issue.2, pp.169-189, 2014.

S. Su, J. Li, Q. Huang, X. Huang, K. Shuang et al., Costefficient task scheduling for executing large programs in the cloud, Parallel Computing, vol.39, issue.4-5, pp.177-188, 2013.

L. Zeng, B. Veeravalli, and X. Li, Scalestar: Budget conscious scheduling precedence-constrained many-task workflow applications in cloud, 2012 IEEE 26th International Conference on Advanced Information Networking and Applications, pp.534-541, 2012.

A. Alexander, M. Visheratin, D. Melnik, and . Nasonov, Workflow scheduling algorithms for hard-deadline constrained cloud environments, Procedia Computer Science, vol.80, pp.2098-2106, 2016.

G. Kaur and M. Kalra, Deadline constrained scheduling of scientific workflows on cloud using hybrid genetic algorithm, 7th International Conference on Cloud Computing, pp.276-280, 2017.

J. Zhou, T. Wang, P. Cong, P. Lu, T. Wei et al., Cost and makespan-aware workflow scheduling in hybrid clouds, Journal of Systems Architecture, p.101631, 2019.

Y. Jararweh, Z. Alshara, M. Jarrah, M. Kharbutli, and M. Alsaleh, Teachcloud: a cloud computing educational toolkit, International Journal of Cloud Computing, vol.2, issue.2/3, pp.237-257, 2013.
URL : https://hal.archives-ouvertes.fr/hal-02200534

J. Mangler and S. , CPEE -cloud process execution engine, Proceedings of the BPM Demo Sessions, co-located with the 12th International Conference on Business Process Management, p.51, 2014.

Y. Jararweh, M. Jarrah, M. Kharbutli, Z. Alshara, M. Mohammed-noraden-alsaleh et al., Cloudexp: A comprehensive cloud computing experimental framework. Simulation Modelling Practice and Theory, vol.49, pp.180-192, 2014.

R. Ben-halima, S. Kallel, K. Klai, W. Gaaloul, and M. Jmaiel, Formal verification of time-aware cloud resource allocation in business process, OTM Confederated International Conferences" On the Move to Meaningful Internet Systems, pp.400-417, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01455664

R. Ben-halima, I. Zouaghi, S. Kallel, W. Gaaloul, and M. Jmaiel, Formal verification of temporal constraints and allocated cloud resources in business processes, Advanced Information Networking and Applications (AINA), 2018.
URL : https://hal.archives-ouvertes.fr/hal-01996077

R. Ben-halima, S. Kallel, W. Gaaloul, Z. Maamar, and M. Jmaiel, Toward a correct and optimal time-aware cloud resource allocation to business processes, Future Generation Computer Systems, p.2019

R. Ben-halima, S. Kallel, W. Gaaloul, and M. Jmaiel, Scheduling business process activities for time-aware cloud resource allocation, On the Move to Meaningful Internet Systems. OTM 2018 Conferences -Confederated International Conferences: CoopIS, C&TC, and, pp.445-462, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01996235

R. Ben-halima, S. Kallel, A. Mehdi, W. Nacer, and . Gaaloul, Optimal business process deployment cost in cloud resources, Journal of Supercomputing, 2020.

R. Ben-halima, S. Kallel, W. Gaaloul, and M. Jmaiel, Optimal cost for time-aware cloud resource allocation in business process, 2017 IEEE International Conference on Services Computing, pp.314-321, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01525209

D. P. Bovet, P. Crescenzi, and D. Bovet, Introduction to the Theory of Complexity, 1994.

R. Rodrigo-n-calheiros, . Ranjan, A. César, R. Rose, and . Buyya, Cloudsim: A novel framework for modeling and simulation of cloud computing infrastructures and services, 2009.

H. Mili, G. Tremblay, G. Bou-jaoude, É. Lefebvre, L. Elabed et al., Business process modeling languages: Sorting through the alphabet soup, ACM Computing Surveys (CSUR), vol.43, issue.1, p.4, 2010.

J. Recker, Opportunities and constraints: the current struggle with bpmn, Business Process Management Journal, vol.16, issue.1, pp.181-201, 2010.

H. Bohnenkamp and A. Belinfante, Timed testing with torx, International Symposium on Formal Methods, pp.173-188, 2005.

S. Cheikhrouhou, S. Kallel, and M. Jmaiel, Toward a verification of time-centric business process models, IEEE 23rd International WETICE, pp.326-331, 2014.

M. Weidmann, F. Kötter, M. Kintz, D. Schleicher, R. Mietzner et al., Adaptive business process modeling in the internet of services (abis), Proceedings of the Sixth International Conference on Internet and Web Applications and Services (ICIW), 2011.

M. P. Wil, . Van-der, and . Aalst, Workflow patterns. Encyclopedia of Database Systems, pp.3557-3558, 2009.

. Boudewijn-f-van-dongen, . Van-der-aalst, . Henricus, and . Verbeek, Verification of epcs: Using reduction rules and petri nets, International Conference on Advanced Information Systems Engineering, pp.372-386, 2005.

J. Anton, . Weijters, M. P. Wil, and A. Van-der, Rediscovering workflow models from event-based data using little thumb, Integrated Computer-Aided Engineering, vol.10, issue.2, pp.151-162, 2003.

R. Ben-halima, I. Zouaghi, S. Kallel, W. Gaaloul, and M. Jmaiel, Formal verification of temporal constraints and allocated cloud resources in business processes, 32nd IEEE International Conference on Advanced Information Networking and Applications, pp.952-959, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01996077

L. Penicina, Towards the mapping of multidimensional bpmn models to process definition standards, Scientific Journal of Riga Technical University. Computer Sciences, vol.41, issue.1, pp.76-83, 2010.

B. Emna-hachicha, Supporting cloud resource allocation in configurable business process models. (Supporter l'allocation des ressources cloud dans les processus métiers configurables), 2017.

J. Michael-zur-muehlen and . Recker, How much language is enough? theoretical and practical use of the business process modeling notation, Seminal Contributions to Information Systems Engineering, pp.429-443, 2013.

N. Assy, Automated support of the variability in configurable process models. (Automatiser le support de la variabilité dans les modèles de processus configurables), 2015.
URL : https://hal.archives-ouvertes.fr/tel-01256612

A. Sleit, N. Misk, F. Badwan, and T. Khalil, Cloud computing challenges with emphasis on amazon ec2 and windows azure, International Journal of Computer Networks & Communications, vol.5, issue.5, p.35, 2013.

A. Nadjaran and T. , On the Economics of Infrastructure as a Service Cloud Providers: Pricing, Markets and Profit Maximization, 2014.

A. Nadjaran and T. , On the Economics of Infrastructure as a Service Cloud Providers: Pricing, Markets, and Profit Maximization, 2014.

. Online and . Cloud,

. Online and . Microsoft-azure,

. Seung-hwan, B. Lim, G. Sharma, E. K. Nam, C. Kim et al., Mdcsim: A multi-tier data center simulation, platform, 2009 IEEE International Conference on Cluster Computing and Workshops, pp.1-9, 2009.

R. Rodrigo-n-calheiros, A. Ranjan, . Beloglazov, A. César, R. Rose et al., Cloudsim: a toolkit for modeling and simulation of cloud computing environments and evaluation of resource provisioning algorithms. Software: Practice and experience, vol.41, pp.23-50, 2011.

B. Louis, K. Mitra, S. Saguna, and C. , Cloudsimdisk: Energy-aware storage simulation in cloudsim, 2015.

, IEEE/ACM 8th International Conference on Utility and Cloud Computing (UCC), pp.11-15, 2015.

S. Ray and A. Sarkar, Execution analysis of load balancing algorithms in cloud computing environment, International Journal on Cloud Computing: Services and Architecture (IJCCSA), vol.2, issue.5, pp.1-13, 2012.

H. Sidhu, Comparative analysis of scheduling algorithms of cloudsim in cloud computing, International Journal of Computer Applications, vol.975, p.8887, 2014.

P. Salot, A survey of various scheduling algorithm in cloud computing environment, International Journal of Research in Engineering and Technology, vol.2, issue.2, pp.131-135, 2013.

R. France and B. Rumpe, Model-driven development of complex software: A research roadmap, Future of Software Engineering, pp.37-54, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00511368

S. Kent, Model driven engineering, International Conference on Integrated Formal Methods, pp.286-298, 2002.

C. Douglas and . Schmidt, Model-driven engineering, COMPUTER-IEEE COM-PUTER SOCIETY, vol.39, issue.2, p.25, 2006.

F. Allilaire, J. Bézivin, F. Jouault, and I. Kurtev, Atl-eclipse support for model transformation, Proceedings of the Eclipse Technology eXchange workshop (eTX) at the ECOOP 2006 Conference, vol.66, 2006.

F. Jouault and I. Kurtev, Transforming models with atl, International Conference on Model Driven Engineering Languages and Systems, pp.128-138, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00448120

. Omg, Meta object facility (mof) 2.0 query/view/ transformation specification, 2011.

K. Dimitris, R. Louis, G. Antonio, and P. Richard, The epsilon book. Eclipse, 2018.

. Omg, Object constraint language version 2.4. Technical report, Object Management Group, 2014.

G. Behrmann, A. David, and K. Larsen, A tutorial on uppaal, Formal methods for the design of real-time systems, pp.200-236, 2004.

. Online and . Uppaal, , 2015.

B. Berthomieu and F. Vernadat, Time petri nets analysis with tina, QEST, vol.6, pp.123-124, 2006.

M. Leuschel and M. Butler, Prob: A model checker for b, ternational Symposium of Formal Methods Europe, pp.855-874, 2003.

R. Alur, L. David, and . Dill, A theory of timed automata. Theoretical computer science, vol.126, pp.183-235, 1994.

C. Adam and P. , Communication with automata, 1966.

C. M. Jos and . Baeten, A brief history of process algebra, Theoretical Computer Science, vol.335, issue.2-3, pp.131-146, 2005.

J. Abrial, Modeling in Event-B: system and software engineering, 2010.

G. Behrmann, A. David, and K. Larsen, A tutorial on uppaal. Formal methods for the design of real-time systems, pp.33-35, 2004.

M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis et al., Kronos: A model-checking tool for real-time systems, International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.298-302, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00374784

G. Hutzler, H. Klaudel, and D. Wang, Towards timed automata and multi-agent systems, International Workshop on Formal Approaches to Agent-Based Systems, pp.161-172, 2004.

A. Thomas, X. Henzinger, J. Nicollin, S. Sifakis, and . Yovine, Symbolic model checking for real-time systems, Information and computation, vol.111, issue.2, pp.193-244, 1994.

M. Edmund, E. Clarke, and . Emerson, Design and synthesis of synchronization skeletons using branching time temporal logic, Workshop on Logic of Programs, pp.52-71, 1981.

L. Lamport, Proving the correctness of multiprocess programs, IEEE transactions on software engineering, pp.125-143, 1977.

W. Fokkink, A. Kakebeen, and J. Pang, Adapting the uppaal model of a distributed lift system, International Conference on Fundamentals of Software Engineering, pp.81-97, 2007.

D. Mougouei, A mathematical programming approach to considering value dependencies in software requirement selection, 2018.

K. Figiela, Optimization of Resource Allocation on the Cloud, 2013.

S. Singiresu and . Rao, Engineering Optimization: Theory and Practice, 2009.

L. Hadded, Optimization of autonomic resources for the management of service-based business processes in the Cloud. (Optimisation des ressources autonomiques pour la gestion des processus métierà base de services dans le Cloud), 2018.
URL : https://hal.archives-ouvertes.fr/tel-01901781

A. H. Land and A. G. Doig, An automatic method of solving discrete programming problems. econometrica. v28, 1960.

S. Dasgupta, C. H. Papadimitriou, and U. Vazirani, , 2008.

E. Balas, S. Ceria, G. Cornuéjols, and N. Natraj, Gomory cuts revisited, Operations Research Letters, vol.19, issue.1, pp.1-9, 1996.

M. Panos, M. Pardalos, and . Gc-resende, Handbook of applied optimization, 2002.

H. Crowder, L. Ellis, M. Johnson, and . Padberg, Solving large-scale zero-one linear programming problems, Operations Research, vol.31, issue.5, pp.803-834, 1983.

K. Genova and V. Guliashki, Linear integer programming methods and approaches-a survey, Journal of Cybernetics and Information Technologies, vol.11, issue.1, 2011.

J. Lee, Network optimization using linear programming and regression. Master's thesis, 2016.

T. Mastelic, W. Fdhila, I. Brandic, and S. Rinderle-ma, Predicting resource allocation and costs for business processes in the cloud, IEEE World Congress on Services, pp.47-54, 2015.

. Arthur-hm-ter-hofstede, M. Van-der-aalst, N. Adams, and . Russell, Modern Business Process Automation: YAWL and its support environment, 2009.

M. Weske, Business process management: concepts, languages, architectures, 2010.

Y. Du, P. Xiong, Y. Fan, and X. Li, Dynamic checking and solution to temporal violations in concurrent workflow processes, IEEE Transactions on Systems, Man, and Cybernetics, vol.41, pp.1166-1181, 2011.

F. Emanuele-de-angelis, M. C. Fioravanti, A. Meo, M. Pettorossi, and . Proietti, Verifying controllability of time-aware business processes, International Joint Conference on Rules and Reasoning, pp.103-118, 2017.

W. Huai, X. Liu, and H. Sun, Towards trustworthy composite service through business process model verification, Ubiquitous Intelligence & Computing and 7th International Conference on Autonomic & Trusted Computing (UIC/ATC), pp.422-427, 2010.

M. Afilal, H. Chehade, and F. Yalaoui, The human resources assignment with multiple sites problem, International Journal of Modeling and Optimization, vol.5, issue.2, p.155, 2015.

. Salem-m-al-yakoob, D. Hanif, and . Sherali, Mixed-integer programming models for an employee scheduling problem with multiple shifts and work locations, Annals of Operations Research, vol.155, issue.1, pp.119-142, 2007.

J. C-mas-machuca, L. Chen, and . Wosinska, Pon protection architectures achieving total cost reduction, Asia Communications and Photonics Conference and Exhibition, pp.707-708, 2010.

M. Lu, Z. Lun-ran, and . Shen, Reliable facility location design under uncertain correlated disruptions, Manufacturing & Service Operations Management, vol.17, issue.4, pp.445-455, 2015.

L. Stroppi, O. Chiotti, and P. D. Villarreal, Extended resource perspective support for bpmn and bpel, CIbSE, pp.56-69, 2012.

J. Wang and A. Kumar, A framework for document-driven workflow systems, Business Process Management, vol.3649, pp.285-301, 2005.

. Online and . Modeler,

P. Mohagheghi, W. Gilani, A. Stefanescu, M. A. Fernandez, B. Nordmoen et al., Where does model-driven engineering help? experiences from three industrial cases, Software & Systems Modeling, vol.12, issue.3, pp.619-639, 2013.

R. Günther, J. Raidl, and . Puchinger, Combining (integer) linear programming techniques and metaheuristics for combinatorial optimization, Hybrid metaheuristics, pp.31-62, 2008.

M. Laguna and J. Marklund, Business Process Modeling, Simulation and Design, 2013.

M. Ahmed-nacer, S. Kallel, F. Zalila, P. Merle, and W. Galloul, Model driven simulation of elastic occi cloud resources, 2019.

A. Lanz, M. Reichert, and B. Weber, A formal semantics of time patterns for process-aware information systems, 2013.

C. Arévalo, . Escalona, M. Ramos, and . Domínguez-muñoz, A metamodel to integrate business processes time perspective in bpmn 2.0. Information and Software Technology, vol.77, pp.17-33, 2016.

C. Combi, M. Gozzi, M. Jose, B. Juarez, G. Oliboni et al., Conceptual modeling of temporal clinical workflows, 14th International Symposium on Temporal Representation and Reasoning (TIME'07), pp.70-81, 2007.

C. Combi and R. Posenato, Controllability in temporal conceptual workflow schemata, International Conference on Business Process Management, pp.64-79, 2009.

C. Combi and R. Posenato, Towards temporal controllabilities for workflow schemata, 17th International Symposium on Temporal Representation and Reasoning, pp.129-136, 2010.

C. Cabanillas, M. Resinas, A. Del-río-ortega, and A. Ruiz-cortés, Specification and automated design-time analysis of the business process human resource perspective, Information Systems, vol.52, pp.55-82, 2015.

E. Hachicha, N. Assy, W. Gaaloul, and J. Mendling, A configurable resource allocation for multi-tenant process development in the cloud, International Conference on Advanced Information Systems Engineering, pp.558-574, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01455485

Y. Imen-ben-fraj, L. Bendaly-hlaoui, and . Ayed, A specification and execution approach of flexible cloud service workflow based on a meta model transformation, ICEIS (2), pp.467-473, 2017.

K. Watahiki, F. Ishikawa, and K. Hiraishi, Formal verification of business processes with temporal and resource constraints, Systems, Man, and Cybernetics (SMC), pp.1173-1180, 2011.

H. Wang and Q. Zeng, Modeling and analysis for workflow constrained by resources and nondetermined time: An approach based on petri nets, IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, vol.38, pp.802-817, 2008.

K. Ogata, T. Chaimanont, and M. Zhang, Formal modeling and analysis of time-and resource-sensitive simple business processes, Journal of Information Security and Applications, vol.31, pp.23-40, 2016.

S. Cheikhrouhou, N. Chabouh, S. Kallel, and Z. Maamar, Formal specification and verification of cloud resource allocation using timed petri-nets, International Conference on Model and Data Engineering, pp.40-49, 2018.

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., All about maude-a high-performance logical framework: how to specify, program and verify systems in rewriting logic, 2007.

D. Jackson, Software abstraction, 2012.

J. Li, Y. Fan, and M. Zhou, Timing constraint workflow nets for workflow analysis, IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, vol.33, issue.2, pp.179-193, 2003.

J. Li, Y. Fan, and M. Zhou, Performance modeling and analysis of workflow, IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, vol.34, issue.2, pp.229-242, 2004.

M. P. Wil and A. Van-der, The application of petri nets to workflow management, vol.8, pp.21-66, 1998.

M. H. Boudewijn-f-van-dongen, . Jansen-vullers, . Verbeek, and A. Van-der, Verification of the sap reference models using epc reduction, state-space analysis, and invariants, Computers in Industry, vol.58, issue.6, pp.578-601, 2007.

J. Bf-van-dongen, W. Mendling, . Van-der, and . Aalst, Structural patterns for soundness of business process models, 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06), pp.116-128, 2006.

M. Remco-m-dijkman, C. Dumas, and . Ouyang, Semantics and analysis of business process models in bpmn. Information and Software technology, vol.50, pp.1281-1294, 2008.

W. Sadiq and M. E. Orlowska, On correctness issues in conceptual modeling of workflows, Proceedings of the European conference on information systems, pp.1-22, 1997.

M. P. Wil and A. Van-der, Verification of workflow nets, International Conference on Application and Theory of Petri Nets, pp.407-426, 1997.

. Moe-thandar-wynn, . Verbeek, M. P. Wil, A. Van-der-aalst, D. Hofstede et al., Business process verification-finally a reality!, Business Process Management Journal, vol.15, issue.1, pp.74-92, 2009.

Y. He, G. Liu, D. Xiang, J. Sun, C. Yan et al., Verifying the correctness of workflow systems based on workflow net with data constraints, IEEE Access, vol.6, pp.11412-11423, 2018.

F. Puhlmann and M. Weske, Using the ?-calculus for formalizing workflow patterns, International Conference on Business Process Management, pp.153-168, 2005.

W. Gaaloul, S. Bhiri, and M. Rouached, Event-based design and runtime verification of composite service transactional behavior, IEEE transactions on services computing, vol.3, issue.1, pp.32-45, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00564322

R. Milner, Communicating and mobile systems: the pi calculus, 1999.

R. Kowalski and M. Sergot, A logic-based calculus of events, Foundations of knowledge base management, pp.23-55, 1989.

K. Klai, S. Tata, and J. Desel, Symbolic abstraction and deadlockfreeness verification of inter-enterprise processes, International Conference on Business Process Management, pp.294-309, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00624671

J. Koehler, G. Tirenni, and S. Kumaran, From business process model to consistent implementation: A case for formal verification methods, Proceedings. Sixth International Enterprise Distributed Object Computing, pp.96-106, 2002.

X. Fu, T. Bultan, and J. Su, Analysis of interacting bpel web services, Proceedings of the 13th international conference on World Wide Web, pp.621-630, 2004.

J. Luis-díaz, J. Entrialgo, M. García, J. García, and D. F. García, Optimal allocation of virtual machines in multi-cloud environments with reserved and on-demand pricing, Future Generation Computer Systems, vol.71, pp.129-144, 2017.

J. S. Dong, Y. Liu, J. Sun, and X. Zhang, Verification of computation orchestration via timed automata, International Conference on Formal Engineering Methods, pp.226-245, 2006.

E. Mikk, Y. Lakhnech, M. Siegel, and G. J. Holzmann, Implementing statecharts in promela/spin, Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, pp.90-101, 1998.

Q. Zeng, H. Wang, D. Xu, H. Duan, and Y. Han, Conflict detection and resolution for workflows constrained by resources and non-determined durations, Journal of Systems and Software, vol.81, issue.9, pp.1491-1504, 2008.

G. Greco, A. Guzzo, and D. Saccà, A logic-based formalism to model and analyze workflow executions, Proceedings of the 15th Conference on Advanced Information Systems Engineering, vol.74, 2003.

M. P. Wil, . Van-der, and . Aalst, Three good reasons for using a petri-net-based workflow management system, Information and Process Integration in Enterprises, pp.161-182, 1998.

A. Wil-mp-van-der-aalst and . Hofstede, Verification of workflow task structures: A petri-net-baset approach, Information systems, vol.25, issue.1, pp.43-69, 2000.

J. Lee, F. Lein, and . Lai, A high-level petri nets-based approach to verifying task structures, IEEE Transactions on Knowledge and Data Engineering, vol.14, issue.2, pp.316-335, 2002.

R. Volker-gruhn and . Laue, Using timed model checking for verifying workflows, Computer Supported Activity Coordination, pp.75-88, 2005.

E. De-maria, A. Montanari, and M. Zantoni, An automatonbased approach to the verification of timed workflow schemas, Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06), pp.87-94, 2006.

J. Eder, E. Panagos, and M. Rabinovich, Time constraints in workflow systems, Advanced information systems engineering, pp.286-300, 1999.

O. Marjanovic and M. E. Orlowska, On modeling and verification of temporal constraints in production workflows, Knowledge and Information Systems, vol.1, issue.2, pp.157-192, 1999.

O. Marjanovic, Dynamic verification of temporal constraints in production workflows, Proceedings 11th Australasian Database Conference. ADC 2000 (Cat. No. PR00528), pp.74-81, 2000.

H. Zhuge, T. Cheung, and H. Pung, A timed workflow process model, Journal of Systems and Software, vol.55, issue.3, pp.231-243, 2001.

H. Zhuge, Component-based workflow systems development, Decision Support Systems, vol.35, issue.4, pp.517-536, 2003.

V. Nabil-r-adam, W. Atluri, and . Huang, Modeling and analysis of workflows using petri nets, Journal of Intelligent Information Systems, vol.10, issue.2, pp.131-158, 1998.

Y. H. Peter, J. Wong, and . Gibbons, A relative timed semantics for bpmn. Electronic Notes in Theoretical Computer Science, vol.229, pp.59-75, 2009.

C. Bettini, S. Wang, and S. Jajodia, Temporal reasoning in workflow systems, Distributed and Parallel Databases, vol.11, issue.3, pp.269-306, 2002.

X. Yang, T. Yu, and H. Xu, A novel framework of using petri net to timed service business process modeling, International Journal of Software Engineering and Knowledge Engineering, vol.26, issue.04, pp.633-652, 2016.

L. Morales, C. Monsalve, and M. Villavicencio, Formal verification of business processes as timed automata, 2017 12th Iberian Conference on Information Systems and Technologies (CISTI), pp.1-6, 2017.

S. Rachidi, E. Leclercq, Y. Pigné, and D. Lefebvre, Pn modeling of discrete event systems with temporal constraints, 21st International Conference on System Theory, Control and Computing (ICSTCC), pp.70-75, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02117185

L. José, J. Pereira, and . Varajão, The temporal dimension of business processes-dealing with time constraints, Procedia computer science, vol.121, pp.1034-1038, 2017.

D. Zhao, W. Gaaloul, W. Zhang, C. Zhu, and Z. Zhou, Formal verification of temporal constraints for mobile service-based business process models, IEEE Access, vol.6, pp.59843-59852, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01987392

M. Fdr2-user,

S. Ling and H. Schmidt, Time petri nets for workflow modelling and analysis, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions, vol.4, pp.3039-3044, 2000.

A. Vladimir, I. A. Bashkin, and . Lomazova, Soundness of workflow nets with an unbounded resource is decidable, PNSE+ ModPE, pp.61-75, 2013.

K. Van-hee, A. Serebrenik, N. Sidorova, and M. Voorhoeve, Soundness of resource-constrained workflow nets, International Conference on Application and Theory of Petri Nets, pp.250-267, 2005.

N. Sidorova and C. Stahl, Soundness for resource-constrained workflow nets is decidable, IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol.43, issue.3, pp.724-729, 2012.

A. Vladimir, I. A. Bashkin, and . Lomazova, Resource equivalence in workflow nets, Proc. of Concurrency, Specification and Programming, 2006.

, Humboldt Universitat zu Berlin, vol.1, pp.80-91, 2006.

G. Havur, C. Cabanillas, J. Mendling, and A. Polleres, Resource allocation with dependencies in business process management systems, International Conference on Business Process Management, pp.3-19, 2016.

J. Wang, W. Tepfenhart, and D. Rosca, Emergency response workflow resource requirements modeling and analysis, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews), vol.39, issue.3, pp.270-283, 2009.

S. Lars-m-kristensen, K. Christensen, and . Jensen, The practitioner's guide to coloured petri nets, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.2, pp.98-132, 1998.

W. Zhou, L. Liu, S. Lü, and P. Zhang, Toward formal modeling and verification of resource provisioning as a service in cloud, IEEE Access, vol.7, pp.26721-26730, 2019.

M. Marcello, D. Bersani, S. Bianculli, A. Dustdar, C. Gambi et al., Towards the formalization of properties of cloud-based elastic systems, Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, pp.38-47, 2014.

K. Klai and H. Ochi, Model checking of composite cloud services, 2016 IEEE International Conference on Web Services (ICWS), pp.356-363, 2016.

A. Rezaee, A. Amir-masoud-rahmani, M. Movaghar, and . Teshnehlab, Formal process algebraic modeling, verification, and analysis of an abstract fuzzy inference cloud service, The Journal of Supercomputing, vol.67, issue.2, pp.345-383, 2014.

H. Sahli, F. Belala, and C. Bouanaka, A brs-based approach to model and verify cloud systems elasticity, Procedia Computer Science, vol.68, pp.29-41, 2015.

A. Gambi, A. Filieri, and S. Dustdar, Iterative test suites refinement for elastic computing systems, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, pp.635-638, 2013.

M. Graiet, A. Mammar, S. Boubaker, and W. Gaaloul, Towards correct cloud resource allocation in business processes, IEEE Transactions on Services Computing, vol.10, issue.1, pp.23-36, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01575735

H. Hsu and F. Wang, An incremental analysis for resource conflicts to workflow specifications, Journal of Systems and Software, vol.81, issue.10, pp.1770-1783, 2008.

J. Zhong and B. Song, Verification of resource constraints for concurrent workflows, Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05), p.8, 2005.

Q. Zeng, C. Liu, and H. Duan, Resource conflict detection and removal strategy for nondeterministic emergency response processes using petri nets, Enterprise Information Systems, vol.10, issue.7, pp.729-750, 2016.

C. Maldonado, I. Ramos-román, and M. Cuaresma, Discovering business models for software process management-an approach for integrating time and resource perspectives from legacy information systems, Proceedings of the 17th International Conference on Enterprise Information Systems, pp.353-359, 2015.

F. Fakhfakh, A refinement-based approach for verifying dynamic changes on time-aware processes, Procedia Computer Science, vol.159, pp.1489-1498, 2019.

F. Fakhfakh, A. Hatem-hadj-kacem, and . Kacem, Towards a formal approach for verifying dynamic workflows in the cloud, European, Mediterranean, and Middle Eastern Conference on Information Systems, pp.144-157, 2018.

F. Fakhfakh, A. Hatem-hadj-kacem, and . Kacem, Dealing with structural changes on provisioning resources for deadline-constrained workflow, The Journal of Supercomputing, vol.73, issue.7, pp.2896-2918, 2017.

H. Luo, X. Liu, J. Liu, B. Han, and Y. Yang, Adaptive temporal verification and violation handling for time-constrained business cloud workflows, International Conference on Service-Oriented Computing, pp.90-99, 2018.

H. Luo, X. Liu, J. Liu, and Y. Yang, Propagation-aware temporal verification for parallel business cloud workflows, 2017 IEEE International Conference on Web Services (ICWS), pp.106-113, 2017.

Y. Wang, R. Xu, F. Wang, H. Luo, M. Wang et al., Sliding-window based propagation-aware temporal verification for monitoring parallel cloud business workflows, IEEE 22nd International Conference on Computer Supported Cooperative Work in Design, pp.449-454, 2018.

Q. Zeng, F. Lu, C. Liu, H. Duan, and C. Zhou, Modeling and verification for cross-department collaborative business processes using extended petri nets, IEEE Transactions on Systems, Man, and Cybernetics, vol.45, issue.2, pp.349-362, 2015.

C. Cabanillas, J. M. García, M. Resinas, D. Ruiz, J. Mendling et al., Priority-based human resource allocation in business processes, International Conference on Service-Oriented Computing, pp.374-388, 2013.

W. Zhao, L. Yang, H. Liu, and R. Wu, The optimization of resource allocation based on process mining, International Conference on Intelligent Computing, pp.341-353, 2015.

R. Han, M. Moustafa, L. Ghanem, Y. Guo, M. Guo et al., Enabling cost-aware and adaptive elasticity of multi-tier cloud applications, Future Generation Computer Systems, vol.32, pp.82-98, 2014.

Y. Kessaci, N. Melab, and E. Talbi, A pareto-based genetic algorithm for optimized assignment of vm requests on a cloud brokering environment, IEEE congress on evolutionary computation, pp.2496-2503, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00835010

J. P. and J. , Constrained Task Assignment and Scheduling on Networks of Arbitrary Topology, 2012.

S. Kumar, K. Dutta, and V. Mookerjee, Maximizing business value by optimal assignment of jobs to resources in grid computing, European Journal of Operational Research, vol.194, issue.3, pp.856-872, 2009.

A. Corominas, R. Pastor, and E. Rodríguez, Rotational allocation of tasks to multifunctional workers in a service industry, International Journal of Production Economics, vol.103, issue.1, pp.3-9, 2006.

J. Walter, M. S. Gutjahr, and . Rauner, An aco algorithm for a dynamic regional nurse-scheduling problem in austria, Computers & Operations Research, vol.34, issue.3, pp.642-666, 2007.

S. Daskalaki, T. Birbas, and E. Housos, An integer programming formulation for a case study in university timetabling, European Journal of Operational Research, vol.153, issue.1, pp.117-135, 2004.

J. Xu, C. Liu, and X. Zhao, Resource planning for massive number of process instances, OTM Confederated International Conferences" On the Move to Meaningful Internet Systems, pp.219-236, 2009.

J. Yu, R. Buyya, and C. Tham, Cost-based scheduling of scientific workflow applications on utility grids, First International Conference on e-Science and Grid Computing (e-Science'05), p.8, 2005.

S. Ehab-nabiel-alkhanak, S. Peck-lee, and . Khan, Cost-aware challenges for workflow scheduling approaches in cloud computing environments: Taxonomy and opportunities, Future Generation Computer Systems, vol.50, pp.3-21, 2015.

S. Abrishami, M. Naghibzadeh, and D. Epema, Deadlineconstrained workflow scheduling algorithms for infrastructure as a service clouds, Future Generation Computer Systems, vol.29, issue.1, pp.158-169, 2013.

. Ar-arunarani, V. Manjula, and . Sugumaran, Task scheduling techniques in cloud computing: A literature survey, Future Generation Computer Systems, vol.91, pp.407-415, 2019.

X. Zhou, G. Zhang, J. Sun, J. Zhou, T. Wei et al., Minimizing cost and makespan for workflow scheduling in cloud using fuzzy dominance sort based heft, Future Generation Computer Systems, vol.93, pp.278-289, 2019.

Y. Liu, L. Wang, X. Vincent-wang, X. Xu, and L. Zhang, Scheduling in cloud manufacturing: state-of-the-art and research challenges, International Journal of Production Research, vol.57, pp.4854-4879, 2019.

C. B-muni-lavanya and . Bindu, Systematic literature review on resource allocation and resource scheduling in cloud computing, International Journal of Advanced Information Technology (IJAIT), vol.6, pp.2231-1920, 2016.

P. J. Assudani and S. Abimannan, Cost efficient resource scheduling in cloud computing: a survey, International Journal of Engineering and Technology(UAE), vol.7, pp.38-43, 2018.

O. Sangwan and M. Dhanda, Qos based scheduling techniques in cloud computing: Systematic review, International Journal of Computer Science and Information Security, vol.07, p.2019

S. Varshney and S. Singh, A survey on resource scheduling algorithms in cloud computing, International Journal of Applied Engineering Research, vol.13, issue.9, pp.6839-6845, 2018.

L. Thai, B. Varghese, and A. Barker, A survey and taxonomy of resource optimisation for executing bag-of-task applications on public clouds, Future Generation Computer Systems, vol.82, pp.1-11, 2018.

A. Maria, R. Rodriguez, and . Buyya, Deadline based resource provisioning and scheduling algorithm for scientific workflows on clouds, IEEE Transactions on Cloud Computing, vol.2, issue.2, pp.222-235, 2014.

A. Mohsen, R. Salehi, and . Buyya, Adapting market-oriented scheduling policies for cloud computing, International Conference on Algorithms and Architectures for Parallel Processing, pp.351-362, 2010.

S. Abrishami and M. Naghibzadeh, Deadline-constrained workflow scheduling in software as a service cloud, Scientia Iranica, vol.19, issue.3, pp.680-689, 2012.

U. Lampe, M. Siebenhaar, R. Hans, D. Schuller, and R. Steinmetz, Let the clouds compute: cost-efficient workload distribution in infrastructure clouds, International Conference on Grid Economics and Business Models, pp.91-101, 2012.

A. Ruiz-alvarez and M. Humphrey, Toward optimal resource provisioning for cloud mapreduce and hybrid cloud applications, Proceedings of the 2014 IEEE/ACM International Symposium on Big Data Computing, pp.74-82, 2014.

A. Megahed, A. Nazeem, P. Yin, and S. Tata, Hamid Reza Motahari Nezhad, and Taiga Nakamura, Future Generation Computer Systems, vol.91, pp.86-95, 2019.

A. Megahed, M. Mohamed, and S. Tata, A stochastic optimization approach for cloud elasticity, 2017 IEEE 10th International Conference on Cloud Computing (CLOUD), pp.456-463, 2017.

S. Zaman and D. Grosu, A combinatorial auction-based mechanism for dynamic vm provisioning and allocation in clouds, IEEE Transactions on Cloud Computing, vol.1, issue.2, pp.129-141, 2013.

P. Pratik, . Pandya, A. Hitesh, and . Bheda, Dynamic resource allocation techniques in cloud computing. International journal of advance research in computer science and management studies, vol.2, 2014.

X. Zhang, Z. Huang, C. Wu, Z. Li, and F. Lau, Online auctions in iaas clouds: Welfare and profit maximization with server costs, ACM SIGMETRICS Performance Evaluation Review, vol.43, issue.1, pp.3-15, 2015.

L. Zhao, L. Lu, J. Zhou, and C. Yu, Online virtual machine placement for increasing cloud provider's revenue, IEEE Transactions on Services Computing, vol.10, issue.2, pp.273-285, 2015.

G. Calinescu, A. Chakrabarti, H. Karloff, and Y. Rabani, An improved approximation algorithm for resource allocation, ACM Transactions on Algorithms (TALG), vol.7, issue.4, p.48, 2011.

T. Saber, J. Thorburn, L. Murphy, and A. Ventresque, Vm reassignment in hybrid clouds for large decentralised companies: A multiobjective challenge, Future Generation Computer Systems, vol.79, pp.751-764, 2018.

J. Tordsson, S. Rubén, R. Montero, I. M. Moreno-vozmediano, and . Llorente, Cloud brokering mechanisms for optimized placement of virtual machines across multiple providers. Future generation computer systems, vol.28, pp.358-367, 2012.

C. Labba and N. Assy, Adaptive deployment of service-based processes into cloud federations, International Conference on Web Information Systems Engineering, pp.275-289
URL : https://hal.archives-ouvertes.fr/hal-01698525

. Springer, , 2017.

F. Ramezani, J. Lu, and F. Hussain, Task scheduling optimization in cloud computing applying multi-objective particle swarm optimization, In International Conference on Service-oriented computing, pp.237-251, 2013.

H. Topcuoglu, S. Hariri, and M. Wu, Performance-effective and low-complexity task scheduling for heterogeneous computing, IEEE transactions on parallel and distributed systems, vol.13, pp.260-274, 2002.

A. Megahed, K. Gajananan, M. Abe, S. Jiang, M. Smith et al., Pricing it services deals: A more agile top-down approach, International Conference on Service-Oriented Computing, pp.461-473

. Springer, , 2015.

K. Gajananan, A. Megahed, M. Abe, T. Nakamura, and M. Smith, A top-down pricing algorithm for it service contracts using lower level service data, 2016 IEEE international conference on services computing (SCC), pp.720-727, 2016.

S. Basu, S. Chakraborty, and M. Sharma, Pricing cloud services-the impact of broadband quality, Omega, vol.50, pp.96-114, 2015.

S. Ibrahim, B. He, and H. Jin, Towards pay-as-you-consume cloud computing, Proceedings of the IEEE International Conference on Services Computing, pp.370-377, 2011.

S. Arshad, S. Ullah, M. D. Shoab-ahmed-khan, M. Awan, and . Sikandar, A survey of cloud computing variable pricing models, Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering, pp.27-32, 2015.

P. Samimi and A. Patel, Review of pricing models for grid & cloud computing, Proceedings of the IEEE Symposium on Computers & Informatics, pp.634-639, 2011.

D. Alves, B. G. Batista, D. Machado-leite, M. Filho, S. Peixoto et al., CM cloud simulator: A cost model simulator module for cloudsim, Proceedings of the IEEE World Congress on Services, pp.99-102, 2016.

E. Duipmans, Business process management in the cloud: business process as a service (BPaaS), 2012.

M. Wang, Y. Kosala, C. Bandara, and . Pahl, Process as a service distributed multi-tenant policy-based process runtime governance, Proceedings of the IEEE International Conference on Services Computing, pp.578-585, 2010.

M. Ahmed-nacer, K. Suri, M. Sellami, and W. Gaaloul, Simulation of configurable resource allocation for cloud-based business processes, Proceedings of the IEEE International Conference on Services Computing, pp.305-313, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01523939

M. Weske, Business process management architectures, Business Process Management, pp.333-371, 2012.

S. Cheikhrouhou and S. Kallel, Nawal Guermouche, and Mohamed Jmaiel. The temporal perspective in business process modeling: a survey and research challenges, Service Oriented Computing and Applications, vol.9, issue.1, pp.75-85, 2015.

M. H. Maja-pesic, N. Schonenberg, . Sidorova, M. P. Wil, and . Van-der-aalst, Constraint-based workflow models: Change made easy, Proceedings of the International Conferences on the Move to Meaningful Internet Systems, vol.4803, pp.77-94, 2007.

W. Huai, X. Liu, and H. Sun, Towards trustworthy composite service through business process model verification, Proceedings of the 2010 7th International Conference on Ubiquitous Intelligence and Computing and 7th International Conference on Autonomic & Trusted Computing, pp.422-427, 2010.

W. Ahmad, R. De-groote, K. F. Philip, M. Hölzenspies, J. Stoelinga et al., Resource-constrained optimal scheduling of synchronous dataflow graphs via timed automata, 14th International Conference on Application of Concurrency to System Design, pp.72-81, 2014.

Q. Li and Y. Guo, Optimization of resource scheduling in cloud computing, International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010.

M. Hu, J. Luo, and B. Veeravalli, Optimal provisioning for scheduling divisible loads with reserved cloud resources, 18th IEEE International Conference on Networks, pp.204-209, 2012.

D. Solow, Linear and nonlinear programming, 2007.

M. L. Rosa, M. Van-der-aalst, F. Dumas, and . Milani, Business process variability modeling: A survey, ACM Computing Surveys (CSUR), vol.50, issue.1, pp.1-45, 2017.

M. L. Rosa, P. Wohed, J. Mendling, A. Hofstede, A. Hajo et al., Managing process model complexity via abstract syntax modifications, IEEE Transactions on Industrial Informatics, vol.7, issue.4, pp.614-629, 2011.

. Occiware, , vol.20, 2019.

G. Gupta and N. Mangla, Workflow scheduling in cloud computing, Journal of Computational and Theoretical Nanoscience, vol.16, issue.9, pp.3965-3968, 2019.