M. Boukhebouze, Gestion de changement et vérification formelle de processus métier : une approche orientée r` egles, L'Institut National des Sciences Appliquées de Lyon, 2010.

M. Milanovic and D. Gasevic, Towards a Language for Rule-Enhanced Business Process Modeling, 2009 IEEE International Enterprise Distributed Object Computing Conference, pp.64-73, 2009.
DOI : 10.1109/EDOC.2009.12

R. Cheng, S. W. Sadiq, and M. Indulska, Framework for Business Process and Rule Integration: A Case of BPMN and SBVR, International Conference on Business Information Systems, pp.13-24, 2011.
DOI : 10.1007/978-3-540-69534-9_35

Y. Gong and M. Janssen, Creating dynamic business processes using semantic web services and business rules, Proceedings of the 5th International Conference on Theory and Practice of Electronic Governance, ICEGOV '11, pp.249-258, 2011.
DOI : 10.1145/2072069.2072111

URL : http://dspace.lib.ntua.gr/handle/123456789/36372

M. Koning, C. Ai-sun, M. Sinnema, and P. Avgeriou, VxBPEL: Supporting variability for Web services in BPEL, Information and Software Technology, vol.51, issue.2, pp.258-269, 2009.
DOI : 10.1016/j.infsof.2007.12.002

L. Penicina, Choosing a BPMN 2.0 Compatible Upper Ontology, The Fifth International Conference on Information , Process, and Knowledge Management, pp.89-96, 2013.

P. Feldbacher, P. Suppan, C. Schweiger, and R. Singer, Business Process Management: A Survey among Small and Medium Sized Enterprises, S-BPM ONE -Learning by Doing -Doing by Learning -International Conference, S-BPM ONE 2011, pp.296-312, 2011.
DOI : 10.1007/978-3-642-15618-2_4

R. Aschoff and A. Zisman, QoS-Driven Proactive Adaptation of Service Composition, ICSOC, pp.421-435, 2011.
DOI : 10.1109/TSE.2009.88

C. Bartolini and C. Stefanelli, Business-driven IT management, 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011) and Workshops, pp.964-969, 2011.
DOI : 10.1109/INM.2011.5990530

URL : http://eprints.unife.it/133/1/Thesis.pdf

B. Ouyang, F. Zhong, and H. Liu, An ECA-based Control-rule formalism for the BPEL Process Modularization, Procedia Environmental Sciences, vol.11, issue.1, pp.511-517, 2011.
DOI : 10.1016/j.proenv.2011.12.081

M. P. Wil, A. H. Van-der-aalst, M. Ter-hofstede, and . Weske, Business process management: A survey, International Conference Business Process Management, pp.1-12, 2003.

D. Karagiannis, Business Process Management: A Holistic Management Approach, Information Systems: Methods, Models, and Applications -4th International United Information Systems Conference, pp.1-12, 2012.
DOI : 10.1007/978-3-642-38370-0_1

Z. Zheng, QoS management of web services, 2011.
DOI : 10.1007/978-3-642-34207-3

Z. Branimir-wetzstein, F. Ma, and . Leymann, Towards measuring key performance indicators of semantic business processes, BIS, pp.227-238, 2008.

A. Del-río-ortega, M. Resinas, and A. R. Cortés, Defining Process Performance Indicators: An Ontological Approach, OTM Conferences, pp.555-572, 2010.
DOI : 10.1007/978-3-642-16934-2_41

M. Boukhebouze and Y. Amghar, A¨?chaA¨?cha-Nabila Benharkat, and Zakaria Maamar. A rule-based modeling for the description of flexible and selfhealing business processes, ADBIS, pp.15-27, 2009.

F. Gottschalk, M. P. Wil, M. H. Van-der-aalst, M. L. Jansen-vullers, and . Rosa, CONFIGURABLE WORKFLOW MODELS, International Journal of Cooperative Information Systems, vol.17, issue.02, pp.177-221, 2008.
DOI : 10.1142/S0218843008001798

C. Ghezzi and S. Guinea, Run-Time Monitoring in Service-Oriented Architectures, Test and Analysis of Web Services, pp.237-264, 2007.
DOI : 10.1007/978-3-540-72912-9_9

F. Casati, E. Shan, U. Dayal, and M. Shan, Business-oriented management of Web services, Communications of the ACM, vol.46, issue.10, pp.55-60, 2003.
DOI : 10.1145/944217.944238

K. Bratanis, D. Dranidis, and A. J. Simons, Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements, TAIC PART, pp.203-206, 2010.
DOI : 10.1007/978-3-642-15585-7_22

H. Weigand, W. Van-den-heuvel, and M. Hiel, Business policy compliance in service-oriented systems, Information Systems, vol.36, issue.4, pp.791-807, 2011.
DOI : 10.1016/j.is.2010.12.005

A. Charfi, T. Dinkelaker, and M. Mezini, A plug-in architecture for selfadaptive web service compositions [26] The Workflow Management Coalition. Workflow management coalition terminology & glossary, ICWS, pp.35-42, 1999.

E. Riadh-ben-halima, K. Fki, M. Drira, and . Jmaiel, A largescale monitoring and measurement campaign for web services-based applications . Concurrency and Computation: Practice and Experience, pp.1207-1222, 2010.

N. Russell, M. P. Wil, A. H. Van-der-aalst, P. Ter-hofstede, and . Wohed, On the suitability of UML 2.0 activity diagrams for business process modelling, Conceptual Modelling Third Asia-Pacific Conference on Conceptual Modelling (APCCM 2005), pp.95-104, 2006.

M. P. Wil, M. Van-der-aalst, D. Weske, and . Grünbauer, Case handling: a new paradigm for business process support, Data Knowl. Eng, vol.53, issue.2, pp.129-162, 2005.

M. Dumas, M. P. Wil, A. H. Van-der-aalst, and . Ter-hofstede, The FLOWer Case-Handling Approach: Beyond Workflow Management, pp.363-395, 2005.

M. Pesic, M. P. Wil, and . Van-der-aalst, A Declarative Approach for Flexible Business Processes Management, Proceedings of the 2006 International Conference on Business Process Management Workshops, BPM'06, pp.169-180, 2006.
DOI : 10.1007/11837862_18

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.9111

S. Goedertier, J. Vanthienen, B. Bpi, . Enei, . Gpww et al., Designing Compliant Business Processes with Obligations and Permissions, Business Process Management Workshops Proceedings, pp.4-5, 2006.
DOI : 10.1007/11837862_2

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.453.4501

D. Hay and K. A. Healy, Defining Business Rules -What Are They Really, 2000.

G. Wagner, Rule Modeling and Markup, Proceedings of the First International Conference on Reasoning Web, pp.251-274, 2005.
DOI : 10.1007/11526988_7

M. Zur, M. , and M. Indulska, Modeling Languages for Business Processes and Business Rules: A Representational Analysis, Information Systems, vol.35, issue.4, pp.379-390, 2010.

. Srml, Simple Rule Markup Language

. Sbvr, Semantics of Business vocabulary and Rules

P. T. Chi, H. H. Tran, and . Hoang, A Combination of Business Rule and Modeling Languages for Semantic Business Processes Modeling, KES- AMSTA, pp.444-453, 2013.

M. P. Papazoglou, P. Traverso, S. Dustdar, and F. Leymann, Service-Oriented Computing: State of the Art and Research Challenges, Computer, vol.40, issue.11, pp.38-45, 2007.
DOI : 10.1109/MC.2007.400

R. Kazhamiakin, S. Benbernou, L. Baresi, P. Plebani, M. Uhlig et al., Adaptation of Service-Based Systems, Service Research Challenges and Solutions for the Future Internet -S-Cube -Towards Engineering, Managing and Adapting Service-Based Systems, pp.117-156, 2010.
DOI : 10.1109/MS.2002.1020286

T. Nguyen, B. Duong, X. Li, and R. Goh, A framework for dynamic resource provisioning and adaptation in iaas clouds Dynamic provisioning modeling for virtualized multi-tier applications in cloud data center, IEEE 3rd International Conference on Cloud Computing Technology and Science Cloud Computing (CLOUD), 2010 IEEE 3rd International Conference on, pp.312-319, 2010.

R. Han, L. Guo, Y. Guo, and S. He, A Deployment Platform for Dynamically Scaling Applications in the Cloud, 2011 IEEE Third International Conference on Cloud Computing Technology and Science, pp.506-510, 2011.
DOI : 10.1109/CloudCom.2011.75

J. B. Weissman, S. Kim, and D. England, A Framework for Dynamic Service Adaptation in the Grid: Next Generation Software Program Progress Report, 19th IEEE International Parallel and Distributed Processing Symposium, pp.4-8, 2005.
DOI : 10.1109/IPDPS.2005.25

M. Amziani, T. Melliti, and S. Tata, Formal Modeling and Evaluation of Stateful Service-Based Business Process Elasticity in the Cloud, On the Move to Meaningful Internet Systems: OTM 2013 Conferences -Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013. Proceedings, pp.21-38, 2013.
DOI : 10.1007/978-3-642-41030-7_3

URL : https://hal.archives-ouvertes.fr/hal-00867490

K. Hamann, S. Zaplata, and W. Lamersdorf, Process instance migration: Flexible execution of distributed business processes, 2012 First International Workshop on European Software Services and Systems Research, Results and Challenges (S-Cube), pp.21-22, 2012.
DOI : 10.1109/S-Cube.2012.6225502

T. Geetika, P. T. Lakshmanan, A. Keyser, F. Slominski, and . Curbera, A business centric monitoring approach for heterogeneous service composites, IEEE SCC, pp.671-678, 2011.

J. P. Sauvé, C. Bartolini, and A. Moura, Looking at business through a keyhole, 2009 IFIP/IEEE International Symposium on Integrated Network Management-Workshops, pp.48-51, 2009.
DOI : 10.1109/INMW.2009.5195933

P. Branimir-wetzstein, F. Leitner, S. Rosenberg, F. Dustdar, and . Leymann, Identifying influential factors of business process performance using dependency analysis, Enterprise Information Systems, vol.5, issue.1, pp.79-98, 2011.
DOI : 10.1109/TKDE.2004.47

P. Branimir-wetzstein, F. Leitner, and . Rosenberg, Ivona Brandic, Schahram Dustdar, and Frank Leymann. Monitoring and analyzing influential factors of business process performance, EDOC, pp.141-150, 2009.

R. Kazhamiakin, B. Wetzstein, D. Karastoyanova, M. Pistore, and F. Leymann, Adaptation of Service-Based Applications Based on Process Quality Factor Analysis, ICSOC/ServiceWave Workshops, pp.395-404, 2009.
DOI : 10.1007/11596141_45

M. Boukhebouze and Y. Amghar, A¨?chaA¨?cha-Nabila Benharkat, and Zakaria Maamar. Towards an approach for estimating impact of changes on business processes, CEC, 2009.

M. Milanovic, D. Gasevic, and L. Rocha, Modeling Flexible Business Processes with Business Rule Patterns, 2011 IEEE 15th International Enterprise Distributed Object Computing Conference, 2011.
DOI : 10.1109/EDOC.2011.25

M. Zoet, J. Versendaal, P. Ravesteyn, and R. J. Welke, Alignment of business process management and business rules, European Conference on Information Systems, 2011.

M. Galster and P. Avgeriou, Variability in Web Services, Systems and Software Variability Management, Concepts, Tools and Experiences, pp.269-278, 2013.
DOI : 10.1007/978-3-642-36583-6_18

J. Gary and . Nutt, The evolution towards flexible workflow systems, Distributed Systems Engineering, vol.3, issue.4, p.276, 1996.

O. Bouchaala, S. Tata, and M. Jmaiel, A Hybrid Approach for Business Environment-Aware Management of Service-Based Business Processes, EC-Web, pp.68-79, 2013.
DOI : 10.1007/978-3-642-39878-0_7

URL : https://hal.archives-ouvertes.fr/hal-00864774

O. Bouchaala, M. Yangui, S. Tata, and M. Jmaiel, DAT: Dependency Analysis Tool for Service Based Business Processes, 2014 IEEE 28th International Conference on Advanced Information Networking and Applications, 2014.
DOI : 10.1109/AINA.2014.76

URL : https://hal.archives-ouvertes.fr/hal-01262806

M. Remco, M. Dijkman, L. Dumas, and . García-bañuelos, Graph matching algorithms for business process model similarity search, In BPM, pp.48-63, 2009.

C. Mao, Slicing web service-based software Control and data dependencies in business processes based on semantic business activities, SOCA iiWAS, pp.1-8, 2008.

Q. Wu, C. Pu, A. Sahai, and R. S. Barga, Categorization and Optimization of Synchronization Dependencies in Business Processes, 2007 IEEE 23rd International Conference on Data Engineering, pp.306-315, 2007.
DOI : 10.1109/ICDE.2007.367876

I. Spassov and V. Pavlov, Dessislava Petrova-Antonova, and Sylvia Ilieva. Ddat: Data dependency analysis tool for web service business processes, ICCSA (5), pp.232-243, 2011.

M. Winkler, T. Springer, E. D. Trigos, and A. Schill, Analysing Dependencies in Service Compositions, ICSOC/ServiceWave Workshops, pp.123-133, 2009.
DOI : 10.1007/978-3-642-10488-6_40

O. Henniger and H. Ural, Test generation based on control and data dependencies within multi-process sdl specifications, In SAM, pp.189-202, 2000.

G. Monsieur, M. Snoeck, and W. Lemahieu, Managing data dependencies in service compositions, Journal of Systems and Software, vol.85, issue.11, pp.2604-2628, 2012.
DOI : 10.1016/j.jss.2012.05.092

URL : https://lirias.kuleuven.be/bitstream/123456789/349321/2/2012_ManagingDataDependencies_draft.pdf

C. Ouyang, M. Dumas, M. P. Wil, A. H. Van-der-aalst, J. Ter-hofstede et al., From business process models to process-oriented software systems, ACM Transactions on Software Engineering and Methodology, vol.19, issue.1, 2009.
DOI : 10.1145/1555392.1555395

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.6020

P. Vigneras, Why bpel is not the holy grail for bpm, 2008.

L. García-bañuelos, Pattern Identification and Classification in the Translation from BPMN to BPEL, OTM Conferences (1), pp.436-444, 2008.
DOI : 10.1007/978-3-540-88871-0_30

J. Ferrante, K. J. Ottenstein, and J. D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems, vol.9, issue.3, pp.319-349, 1987.
DOI : 10.1145/24039.24041

J. A. Stafford, A Formal, Language-Independent, and Compositional Approach to Interprocedural Control Dependence Analysis, 2000.

M. Wil, . Van-der-aalst, H. Arthur, N. Ter-hofstede, and . Russell, Workflow patterns, 2011.

O. Bouchaala, S. Tata, and M. Jmaiel, A Hybrid Approach for Business Environment-Aware Management of Service-Based Business Processes, E-Commerce and Web Technologies, pp.68-79, 2013.
DOI : 10.1007/978-3-642-39878-0_7

URL : https://hal.archives-ouvertes.fr/hal-00864774

T. Rademakers and R. Van-liempd, Activiti in Action: Executable Business Processes in BPMN 2.0, 2012.

M. Hadj, K. , and O. Bouchaala, Technical re- port for beam4sbp integration, 2015.

R. M. Chisholm, The Basic Ontological Categories, Language, Truth and Ontology, pp.1-13, 1992.
DOI : 10.1007/978-94-011-2602-1_1

M. Uschold, M. King, S. Moralee, and Y. Zorgios, The Enterprise Ontology, The Knowledge Engineering Review, vol.13, issue.1, pp.31-89, 1998.
DOI : 10.1017/S0269888998001088

Y. Wand and R. Weber, On the ontological expressiveness of information systems analysis and design grammars, Information Systems Journal, vol.64, issue.4, pp.217-237, 1993.
DOI : 10.1109/32.60316

Y. Wand and R. Weber, On the deep structure of information systems, Information Systems Journal, vol.1, issue.3, pp.203-223, 1995.
DOI : 10.1145/7474.7475

J. Recker, M. Rosemann, M. Indulska, and P. F. Green, Business Process Modeling -A Comparative Analysis Journal of the Association for Information Systems Candidate Interoperability Standards: An Ontological Overlap Analysis, Data & Knowledge Engineering, vol.1098, issue.622, pp.274-291, 2007.

L. Andreas, B. Opdahl, and . Henderson-sellers, Ontological Evaluation of the UML Using the Bunge-Wand-Weber Model. Software and System Modeling, pp.43-67, 2002.

C. Jan, M. Recker, and . Indulska, An ontology-based evaluation of process modeling with petri nets, IBIS-International Journal of Interoperability in Business Information Systems, vol.2, issue.1, pp.45-64, 2007.

L. Andreas, B. Opdahl, and . Henderson-sellers, Ontological evaluation of the UML using the bunge-wand-weber model. Software and System Modeling, pp.43-67, 2002.

F. Peter, M. Green, and . Rosemann, Perceived ontological weaknesses of process modeling techniques : Further evidence, 10th European Conference on Information Systems, Information Systems and the Future of the Digital Economy, pp.312-321, 2002.

J. Recker, M. Indulska, M. Rosemann, and P. F. Green, How good is BPMN really? insights from theory and practice, 14th European Conference on Information Systems, pp.1582-1593, 2006.

J. Recker, M. Indulska, M. Rosemann, and P. Green, Do process modelling techniques get better? a comparative ontological analysis of bpmn, 16th Australasian Conference on Information Systems, 2005.

M. Rosemann, P. F. Green, and M. Indulska, A Reference Methodology for Conducting Ontological Analyses, ER, pp.110-121, 2004.
DOI : 10.1007/978-3-540-30464-7_10

V. Prezel, D. Gasevic, and M. Milanovic, Representational Analysis of Business Process and Business Rule Languages, 1st International Workshop on Business Models, Business Rules and Ontologies at 4th International Conference on Web Reasoning and Rule Systems, 2010.

F. Peter, M. Green, M. Rosemann, J. C. Indulska, and . Recker, Complementary Use of Modeling Grammars, Scandinavian Journal of Information Systems, vol.23, issue.1, pp.59-86, 2011.

M. Proctor, Drools: A Rule Engine for Complex Event Processing, Applications of Graph Transformations with Industrial Relevance, pp.2-2, 2012.
DOI : 10.1007/978-3-642-34176-2_2

M. Proctor, M. Neale, M. Frandsen, S. G. Jr, E. Tirelli et al., Drools Documentation, 2008.

P. Browne, JBoss Drools Business Rules, 2009.

B. Kiepuszewski, A. H. Ter-hofstede, and C. Bussler, On structured workflow modelling, Advanced Information Systems Engineering, 12th International Conference CAiSE Proceedings, pp.431-445, 2000.
DOI : 10.1007/978-3-642-36926-1_19

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.2336