. Dans-la-littérature, il n'y a pas de vue uniforme sur le nombre de phases du cycle de vie BPM. Il varie en fonction de la granularité choisie pour l'identification des phases, 2003.

S. K. Abd-el-hafiz, Evaluation of a knowledge-based approach to program understanding. The d Wokig Coofeeeee oo 'evese Egieeig WC'E (pp, pp.275-284, 1996.

F. Abouzaid and J. Mullins, Model-checking Web Services Orchestrations using BP-calculus, Electronic Notes in Theoretical Computer Science, vol.255, pp.3-21, 2009.
DOI : 10.1016/j.entcs.2009.10.022
URL : http://doi.org/10.1016/j.entcs.2009.10.022

M. Adams, A. H. Ter-hofstede, D. Edmond, and W. M. Van-der-aalst, facilitating flexibility and dynamic exception handling in workflows through worklets, 17th International Conference on Advanced Information Systems Engineering (CAiSE'05), pp.45-50, 2005.

R. Agostini and G. De-michelis, A Light Workflow Management System Using Simple Process Models, Computer Supported Cooperative Work (CSCW), vol.1, issue.1, pp.335-363, 2000.
DOI : 10.1023/A:1008703327801
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.3698

E. R. Aguilar, J. Cardoso, F. García, F. Ruiz, and M. Piattini, Analysis and Validation of Control-Flow Complexity Measures with BPMN Process Models, The 10th International Workshop on Enterprise, Business-Process and Information Systems Modeling (BPMDS'09), and 14th International Conference, pp.58-70, 2009.

E. R. Aguilar, F. Ruiz, F. García, and M. Piattini, Applying Software Metrics to evaluate Business Process Models, CLEI Electron. Journal, vol.9, issue.1, 2006.

S. Ajila, Software maintenance: An approach to impact analysis of objects change, Software: Practice and Experience, vol.7, issue.10, pp.1155-1181, 1995.
DOI : 10.1002/spe.4380251006

S. Alter, A general, yet useful theory of information systems, Association for Information Systems, vol.1, pp.1-70, 1999.

S. Alter, Information Systems: A Management Perspective. Edition 3e éd, 1999.

G. Arango, E. Schoen, and R. Pettengill, A process for consolidating and reusing design knowledge, Proceedings of 1993 15th International Conference on Software Engineering, pp.231-242, 1993.
DOI : 10.1109/ICSE.1993.346040

R. S. Arnold and S. A. Bohner, Impact analysis-Towards a framework for comparison, 1993 Conference on Software Maintenance, pp.292-301, 1993.
DOI : 10.1109/ICSM.1993.366933

A. Awad, BPMN-Q: A Language to Query Business Processes. The 2nd International Workshop on Enterprise Modelling and Information Systems Architectures (EMISA'07), pp.115-128168, 2007.

A. Awad and F. Puhlmann, Structural Detection of Deadlocks in Business Process Models, The 11th International Conference On Business Information Systems (BIS'08), pp.239-250, 2008.
DOI : 10.1007/978-3-540-79396-0_21

A. Awad, G. Decker, and M. Weske, Efficient Compliance Checking Using BPMN-Q. The 6th IIteeatiooal Coofeeeee o, Busiess Pooess Maageeet BPM, pp.326-341, 2008.
DOI : 10.1007/978-3-540-85758-7_24
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.584.3536

E. Baniassad and S. Clarke, Theme: an approach for aspect-oriented analysis and design, Proceedings. 26th International Conference on Software Engineering, pp.158-167, 2004.
DOI : 10.1109/ICSE.2004.1317438

J. Becker, M. Rosemann, and C. Von-uthmann, Guidelines of Business Process Modeling, Business Process Management, pp.30-49, 2000.
DOI : 10.1111/j.1365-2575.1995.tb00108.x

G. Behrmann, R. David, and K. G. Larsen, A tutorial on UPPAAL. The International School on Formal Methods for the Design of Computer, Communication, and Software Systems, pp.200-236, 2004.

B. Mokadem, H. Bérard, B. Bouyer, P. Laroussinie, and F. , Timed Temporal Logics for Abstracting Transient States, The 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06), pp.337-351, 2006.
DOI : 10.1007/11901914_26

K. Belhajjame, G. Vargas-solar, and C. Collet, Towards an Adaptable Workflow Management System, 2001.

A. Biere, Tutorial on Model Checking: Modelling and Verification in Computer Science, The 3th International Conference on Algebraic Biology (AB'08), pp.16-21, 2008.
DOI : 10.1007/978-3-540-85101-1_2

J. Bloom, C. Clark, C. Clifford, A. Duncan, H. Khan et al., Platform Independent Petri-net Editor, Rapport final du projet PIPE. Department of Computing, 2003.

B. W. Boehm, J. R. Brown, and M. Lipow, Quantitative evaluation of software quality, The 2nd international conference on Software engineering (ICSE '76), pp.592-605, 1976.

S. A. Bohner, A Graph Traceability Approach for Software Change Impact Analysis, 1996.

S. A. Bohner, Software change impacts-an evolving perspective, International Conference on Software Maintenance, 2002. Proceedings., pp.263-272, 2002.
DOI : 10.1109/ICSM.2002.1167777

U. M. Borghoff, P. Bottoni, P. Mussio, and R. Pareschi, Reflective Agents for Adaptive Workflows, The 2d International Conference and Exhibition on Practical Application of Intelligent Agents and Multi-Agents (PAAM'97), pp.405-420169, 1997.

X. Boucher, Vers un pilotage agile de l'évolution des systèmes de production, 2007.

P. Briol, ingénierie des processus métiers de l'élaboration à l'exploitation, 2008.

M. C. Browne, E. M. Clarke, and O. Grümberg, Characterizing finite Kripke structures in propositional temporal logic, Theoretical Computer Science -International Joint Conference on Theory and Practice of Software Development, pp.115-131, 1988.
DOI : 10.1016/0304-3975(88)90098-9

B. , F. Eket, M. P?ttââja, P. Romanenko, and I. , Realizing business processes with ECA rules: benefits, challenges, limits, The 4th international conference on Principles and Practice of Semantic Web Reasoning (PPSWR'06), pp.48-62, 2006.

J. Büchi, On a Decision Method in Restricted Second Order Arithmetic, The International Congress on Logic, Method, and Philosophy of Science, pp.1-12, 1962.
DOI : 10.1007/978-1-4613-8928-6_23

J. R. Burch, E. M. Clarke, K. L. Mcmillan, D. L. Dill, and L. J. Hwang, Symbolic model checking: 10/sup 20/ states and beyond, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, pp.428-439, 1990.
DOI : 10.1109/LICS.1990.113767

T. Burkhart and P. Loos, Flexible Business Processes -Evaluation of Current Approaches. Multikonferenz Wirtschaftsinformatik, 2010.

K. A. Butler, C. Esposito, and R. Hebron, Connecting the design of software to the design, Communications of the ACM, vol.42, issue.1, pp.38-46, 1999.
DOI : 10.1145/291469.293166

J. Cardoso, About the Data-Flow Complexity of Web Processes, The 6th International Workshop on Business Process Modeling, Development, and Support: Business Processes and Support Systems: Design for Flexibility, 2005.

J. Cardoso, Control-flo Copleeitt Measueeet of Poesses aad Weuke's Popeeties, The 6th International Enformatika Conference (IEC'05), pp.213-218, 2005.

J. Cardoso, Evaluating Workflows and Web Process Complexity. FL, USA: in Workflow Handbook, Future Strategies Inc.: Lighthouse Point, pp.284-290, 2005.

J. Cardoso, Process control-flow complexity metric: An empirical validation, 2006 IEEE International Conference on Services Computing (SCC'06), pp.167-173, 2006.
DOI : 10.1109/SCC.2006.82
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.3714

J. Cardoso, J. Mendling, G. Neumann, and H. A. Reijers, A Discourse on Complexity of Process Models, International Workshops on Business Process Management (BPM'06), pp.117-128, 2006.
DOI : 10.1007/11837862_13

J. Cardoso, J. Miller, and J. Arnold, Modeling Quality of Service for Workflows and Web Service Processes, pp.2-200, 2002.

J. P. Cavano and J. A. Mccall, A framework for the measurement of software quality, ACM SIGSOFT Software Engineering Notes, vol.3, issue.5, pp.133-139, 1978.
DOI : 10.1145/953579.811113

D. Chiu, Q. Li, and K. Karlapalem, Facilitating workflow evolution in an advanced object environment, Proceedings Seventh International Conference on Database Systems for Advanced Applications DASFAA 2001 DASFAA-01, pp.148-149, 2001.
DOI : 10.1109/DASFAA.2001.6044750

A. Chniti, P. Albert, and J. Charlet, Gestion de la cohérence des règles métier éditées à paati d'otologies OWL*, 2011.

P. Chountas, I. Petrounias, and V. Kodogiannis, Temporal Modelling in Flexible Workflows, The 18th International Symposium on Computer and Information Sciences (ISCIS' 03), pp.123-130, 2003.
DOI : 10.1007/978-3-540-39737-3_16

P. Chulsoon and C. Injun, Management of business process constraints using BPTrigger, Journal of Computers in Industry, vol.55, issue.1, pp.29-51, 2004.

S. A. Chun, V. Atluri, and N. R. Adam, Domain Knowledge-Based Automatic Workflow Generation, The 13th International Conference on Database and Expert Systems Applications (DEXA'02), pp.81-93, 2002.
DOI : 10.1007/3-540-46146-9_9

A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchigli, M. Pistore et al., NuSMV 2: An OpenSource Tool for Symbolic Model Checking, The 14th International Conference on Computer Aided Verification (CAV'02), pp.359-364, 2002.
DOI : 10.1007/3-540-45657-0_29

A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri, NUSMV: a new symbolic model checker, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.4, 2000.
DOI : 10.1007/s100090050046

C. Jr, E. M. Grumberg, O. Peled, and D. A. , Model Checking, 1999.

T. W. Coalition, Workflow Management Coalition Terminology & Glossary, 1999.

T. Crusson, Business Process Management ? De la modélisation à l'exécution, Positionnement par rapport aux Architectures Orientées Services, 2003.

M. D??oski, M. Daaik, M. Ttzaska, and K. Suieta, Pototpe of OOjeet-Oriented Declarative Workflows, The 3th International Conference on Intelligent Information and Database Systems (ACIIDS'11), pp.47-56

W. Dai and H. D. Covvey, Query-Based Approach to Workflow Process Dependency Analysis, p.171, 2005.

R. David and H. Alla, Autonomous and timed continuous Petri nets, 1993.
DOI : 10.1007/3-540-56689-9_40

R. David and H. Alla, Non-Autonomous Petri Nets, 2010.
DOI : 10.1007/978-3-642-10669-9_3

D. Backer, M. Snoeck, and M. , Business Process Verification: A Petri Net Approach, SSRN Electronic Journal, 2008.
DOI : 10.2139/ssrn.1094617

B. Debauche and P. Mégard, BPM Business Process Management : Pilotage métier de l'entreprise, 2004.

G. Decker, R. Dijkman, M. Dumas, and G. Luciano, Transforming BPMN Diagrams into YAWL Nets, The 6th International Conference on Business Process Management (BPM'08), pp.386-389, 2008.
DOI : 10.1007/978-3-540-85758-7_30
URL : http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=666284

B. Dellen, F. Maurer, and G. Pews, Knowledge-based techniques to increase the flexibility of workflow management, Data & Knowledge Engineering, vol.23, issue.3, pp.269-295, 1997.
DOI : 10.1016/S0169-023X(97)00015-3

L. Deruelle, M. Bouneffa, N. Melab, H. Basson, and G. Goncalves, A Change Impact Analysis Approach For CORBA-Based Federated Databases, The 11th International Conference on Database and Expert Systems Applications (DEXA'00), pp.949-958, 2000.
DOI : 10.1007/3-540-44469-6_89

D. Francescomarino, C. Tonella, and P. , Crosscutting Concern Documentation by Visual Query of Business Processes. The International Workshops On Business Process Management (BPM'08), pp.18-31, 2009.

G. Diaz, J. Pardo, M. Cambronero, V. Valero, and F. Cuartero, Automatic Translation of WS-CDLChoreographies to Timed Automata, The international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes (EPEW'05/WS-FM'05), pp.230-242, 2005.

R. M. Dijkman, M. Dumas, and C. Ouyang, Formal Semantics and Analysis of BPMN Process Models using Petri Nets, 2007.

E. Dijkstra, Hierarchical Ordering of Sequential Processes, Acts Informatica I, pp.115-138, 1971.

E. Kharbili, M. De-medeiros, A. K. Stein, S. Van-der-aalst, and W. P. , Business Process Compliance Checking Current State and Future Challenges. The Modellierung betrieblicher IIfoooatioos sstee MooIS, pp.107-113, 2008.

S. Fan, W. Dou, and J. Chen, Dual Workflow Nets: Mixed Control/Data-Flow Representation for Workflow Modeling and Verification. The International Workshops: DBMAN, pp.433-444, 2007.

R. Farahbod, U. Glässer, and M. Vajihollahi, A Formal Semantics for the Business Process Execution Language for Web Services, Web Services and Model-Driven Enterprise Information Services, pp.144-155, 2005.

R. Fehling, A concept of hierarchical Petri nets with building blocks. The 12th International Conference on Application and Theory of Petri Nets, pp.148-168, 1993.

N. E. Fenton and S. L. Pfleeger, Software Metrics: A Rigorous and Practical Approach, 1998.
DOI : 10.1201/b17461

J. Fernandez, H. Garavel, A. Kerbrat, L. Mounier, R. Mateescu et al., CADP a protocol validation and verification toolbox, The 8th International Conference of Computer Aided Verification (CAV '96), pp.437-440, 1996.
DOI : 10.1007/3-540-61474-5_97

A. Ferrara, Web services, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, pp.242-251, 2004.
DOI : 10.1145/1035167.1035202

K. Fisler, S. Krishnamurthi, L. A. Meyerovich, and M. C. Tschantz, Verification and changeimpact analysis of access-control policies, The 27th international conference on Software engineering (ICSE'05), pp.196-205, 2005.

J. A. Fisteus, L. S. Fernández, and C. D. Kloos, Formal Verification of BPEL4WS Business Collaborations, The 5th International Conference on E-Commerce and Web Technologies, pp.76-85, 2004.
DOI : 10.1007/978-3-540-30077-9_8

J. A. Fisteus, L. S. Fernández, and C. D. Kloos, Formal Verificationof BPEL4WS Business Collaborations. Lecture notes in computer science, pp.76-85, 2004.
DOI : 10.1007/978-3-540-30077-9_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.454.3709

A. Foerster, G. Engels, and T. Schattkowsky, Activity Diagram Patterns for Modeling Quality Constraints in Business Processes, The 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS'05), pp.2-16, 2005.
DOI : 10.1007/11557432_2

X. Fu, T. Bultan, and J. Su, Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, pp.621-630, 2004.
DOI : 10.1145/988672.988756

T. Gardner, UML Modelling of Automated Business. Processes with a Mapping to BPEL4WS, 2009.

C. Ghidini, M. Rospocher, and L. Serafini, A formalisation of BPMN in Description Logics, p.173, 2008.

A. K. Ghose and G. Koliadis, Auditing Business Process Compliance, The 5th International Conference on Service-Oriented Computing (ICSOC'07), pp.169-180, 2007.
DOI : 10.1007/978-3-540-74974-5_14
URL : https://works.bepress.com/aghose/20/download/

J. Gillot, The Complete Guide to Business Process Management: Business Process Transformation or a Way of Aligning the Strategic Objectives of the Company and the Information System Through the Processes, 2008.

A. Giurca, S. Lukichev, and G. Wagner, Modeling Web Services with URML. The Semantics for Business Process Management Workshop (SBPM'06), 2006.

M. Glinz, On Non-Functional Requirements. The 5th IEEE International Requirement Engineering Conference (RE '07) (pp, pp.21-26, 2007.

S. Goedertier and J. Vanthienen, Compliant and Flexible Business Processes with Business Rules, The CAISE*06 Workshop on Business Process Modelling, Development, and Support, 2006.

S. Goedertier and J. Vanthienen, Designing Compliant Business Processes with Obligations and Permissions. Business Process Management Workshops, pp.5-14, 2006.
DOI : 10.1007/11837862_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.453.4501

M. Grim-yefsah, C. Rosenthal-sabroux, and V. Thion-goasdoué, BoQal : une méthode pour l'aluatio de la ualitt d'u ppoessus tiee, 2011.

O. M. Group and O. M. Omg, Unified Modeling Language. le rapport de spécification version 2.1.1, numéro : formal, pp.2007-2009, 2007.

T. B. Group, Defining Business Rules, What are they really?, 2000.

V. Gruhn and R. Laue, Approaches for Business Process Model Complexity Metrics, The 9th International Conference on Business Information Systems (BIS'06), pp.1-12, 2006.
DOI : 10.1007/1-4020-5634-6_2

V. Gruhn and R. Laue, How Style Checking Can Improve Business Process Models, 8th International Conference on Enterprise Information Systems (ICEIS'06, 2006.

V. Gruhn and R. Laue, What business process modelers can learn from programmers, Science of Computer Programming, vol.65, issue.1, pp.4-13, 2007.
DOI : 10.1016/j.scico.2006.08.003

A. S. Guceglioglu and O. Demirors, Using Software Quality Characteristics to Measure Business Process Quality, The 3rd International Conference on Business Process Management (BPM'05), pp.374-379, 2005.
DOI : 10.1007/11538394_26

F. M. Haney, Module connection analysis, Proceedings of the December 5-7, 1972, fall joint computer conference, part I on, AFIPS '72 (Fall, part I), pp.173-179174, 1972.
DOI : 10.1145/1479992.1480016

P. Heinl, S. Horn, S. Jablonski, J. Neeb, K. Stein et al., A Comprehensive Approach to Flexibility in Workflow Management Systems, international joint conference on Work activities coordination and collaboration (WACC '99), pp.79-88, 1999.

R. Heinrich and B. Paech, Defining the Quality of Business Processes. The Modellierung, LNI, pp.161-133, 2010.

B. Henderson-sellers, Object-Oriented Metrics: Measures of Complexity, 1995.

T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, Software Verification with BLAST, The 10th International SPIN Workshop on Model Checking Software (SPIN), pp.235-239, 2003.
DOI : 10.1007/3-540-44829-2_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.6477

M. Heravizadeh, J. Mendling, and M. Rosemann, Dimensions of Business Processes Quality (QoBP) The International Workshops on Business Process Management (BPM'08), pp.80-91, 2009.

J. Herbst, An Inductive Approach to the Acquisition and Adaptation of Workflow Models. The IJCAI'99 Workshop on Intelligent Workflow and Process Management: The New Frontier for AI in Business, pp.52-57, 1999.

L. M. Hillah, E. Kindler, F. Kordon, L. Petrucci, and N. Treves, A primer on the Petri Net Markup Language and ISO/IEC 15909-2, Petri Net Newsletter, vol.76, pp.9-28, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01126017

A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker, PRISM: A Tool for Automatic Verification of Probabilistic Systems, The 12th International Conference On Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), pp.441-444, 2006.
DOI : 10.1007/11691372_29

S. Hinz, K. Schmidt, and C. Stahl, Transforming BPEL to Petri Nets, The International Conference on Business Process Management (BPM'05), pp.220-235, 2005.
DOI : 10.1007/11538394_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.4950

C. A. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

G. J. Holzmann, State compression in spin, 1997.

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997.
DOI : 10.1109/32.588521

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003.
DOI : 10.1109/32.588521

J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, p.175, 2006.

S. Hornus and P. Schnoebelen, On Solving Temporal Logic Queries, 9th International Conference on Algebraic Methodology and Software Technology (AMAST'02), pp.163-177, 2002.
DOI : 10.1007/3-540-45719-4_12

K. Ishikawa, What is Total Quality Control? the Japanese Way, 1985.

S. Jablonski and C. Bussler, Workflow Management: Modeling Concepts, Architecture and Implementation, 1996.

M. Jansen-vullers and M. Netjes, Business process simulation ? a tool survey. The 7eme Workshop and Tutorial on Practical Use ofColoured Petri Nets and CPN Tools, 2006.

W. Janssen, R. Mateescu, S. Mauw, and J. Springintveld, Verifying Business Processes using SPIN. The 4th International SPIN Workshop, pp.21-36, 1998.

K. Jensen, Coloured Petri Nets. Modelling and Validation of Concurrent Systems, 1992.
DOI : 10.1007/978-3-642-60794-3

M. O. Kherbouche and H. Basson, Modélisation et analyse pour la gestion de l'évolution des BPM. 29ème congrès INFORSID (Forum des jeunes chercheurs), pp.441-442, 2011.

M. O. Kherbouche, A. Ahmad, and H. Basson, Detecting structural errors in BPMN process models. The 15th IEEE International Multitopic Conference, INMIC'12), pp.425-431, 2012.

M. O. Kherbouche, A. Ahmad, and H. Basson, Formal approach for compliance rules checking in business process models, 2013 IEEE 9th International Conference on Emerging Technologies (ICET), 2013.
DOI : 10.1109/ICET.2013.6743500

M. O. Kherbouche, A. Ahmad, and H. Basson, Using model checking to control the structural errors in BPMN models, IEEE 7th International Conference on Research Challenges in Information Science (RCIS), pp.1-12, 2013.
DOI : 10.1109/RCIS.2013.6577723

M. O. Kherbouche, A. Ahmad, M. Bouneffa, and H. Basson, Ontology-based change impact assessment in dynamic business processes. The 11th International Conference on Frontiers of Information Technology (FIT'13), p.176, 2013.

O. M. Kherbouche, A. Ahmad, M. Bouneffa, and H. Basson, Analyzing the ripple effects of change in business process models, INMIC, 2013.
DOI : 10.1109/INMIC.2013.6731320

O. M. Kherbouche, M. Bouneffa, A. Ahmad, and . Basso, AAalse a ppioi de l'ipaat du changement des processus métiers, pp.257-265

K. Kim, Workflow Dependency Analysis and Its Implications on Distributed Workflow Systems, The 17th International Conference on Advanced Information Networking and Applications (AINA'03), pp.677-682, 2003.

M. Klein and C. Dellarocas, A Knowledge-based Approach to Handling Exceptions in Workflow Systems, Computer Supported Cooperative Work (CSCW), vol.8, issue.3, pp.399-412, 2000.
DOI : 10.1023/A:1008759413689

J. Klingemann, Controlled Flexibility in Workflow Management, The 12th International Conference on Advanced Information Systems Engineering (CAiSE' 00), pp.126-141, 2000.
DOI : 10.1007/3-540-45140-4_10

A. V. Knethen, A trace model for system requirements changes on embedded systems. The 4th International Workshop on Principles of Software Evolution (IWPSE '01), pp.17-26, 2001.

G. Knolmayer, R. Endl, and M. Pfahrer, Modeling Processes and Workflows by Business Rules, Business Process Management, Models, Techniques, and Empirical Studies, pp.16-29, 2000.
DOI : 10.1007/BFb0026793

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.
DOI : 10.1109/EDOC.2002.1137700

M. Koshkina and F. Van-breugel, Verification of business processes for Web services, 2003.

M. Kradolfer and A. Geppert, Dynamic workflow schema evolution based on workflow type versioning and workflow migration, Proceedings Fourth IFCIS International Conference on Cooperative Information Systems. CoopIS 99 (Cat. No.PR00384), pp.104-114, 1999.
DOI : 10.1109/COOPIS.1999.792162

S. Kripke, Semantical Considerations on Modal Logic, Acta Philosophica Fennica, issue.16, pp.83-94, 1963.
DOI : 10.1007/978-3-0346-0145-0_16

K. Kumar and M. M. Narasipuram, Defining Requirements for Business Process Flexibility, p.177, 2006.

L. M. Laird and M. C. Brennan, Software Measurement and Estimation: a Practical Approach (Quantitative Software Engineering Series), 2006.
DOI : 10.1002/0471792535

P. Langner, C. Schneider, and J. Wehler, Petri Net Based Certification of Event-Driven Process Chains, The 19th International Conference on Application and Theory of Petri Nets, pp.286-305, 1998.
DOI : 10.1007/3-540-69108-1_16

A. Lapadula, R. Pugliese, and F. Tiezzi, A Calculus for Orchestration of Web Services, The 16th European Symposium on Programming (ESOP'07), pp.33-47, 2007.
DOI : 10.1007/978-3-540-71316-6_4

F. Laroussinie and P. Schnoebelen, A hierarchy of temporal logics with past, Theoretical Computer Science, vol.148, issue.2, pp.303-324, 1995.
DOI : 10.1016/0304-3975(95)00035-U

A. M. Latva-koivisto, Finding a complexity measure for business process models, 2001.

R. Laue and A. Awad, Visual suggestions for improvements in business process diagrams, Journal of Visual Languages & Computing, vol.22, issue.5, pp.385-399, 2011.
DOI : 10.1016/j.jvlc.2011.04.003

L. Moigne and J. , La théorie du système général:théorie de la modélisation, 1984.

B. S. Lerner, S. Christov, A. Wise, and L. J. Osterweil, Exception Handling Patterns for Process Modeling, 4th international workshop on Exception handling (WEH '08), pp.55-61, 2008.
DOI : 10.1109/TSE.2010.1
URL : https://hal.archives-ouvertes.fr/hal-01176343

F. Leymann, Web Services Flow Language (WSFL 1.0) Récupéré sur http, 2001.

B. Li, Managing Dependencies in Component-Based Systems Based on Matrix Model, Proc. Of Net.Object.Days, pp.22-25, 2003.

M. Lindvall and K. Sandahl, Traceability aspects of impact analysis in object-oriented systems, Journal of Software Maintenance: Research and Practice, vol.10, issue.1, pp.37-57, 1998.
DOI : 10.1002/(SICI)1096-908X(199801/02)10:1<37::AID-SMR163>3.0.CO;2-R

Y. Liu, S. Müller, and K. Xu, A static compliance-checking framework for business process models, IBM Systems Journal, vol.46, issue.2, pp.335-361, 2007.
DOI : 10.1147/sj.462.0335

R. Lu and S. Sadiq, A Survey of Comparative Business Process Modeling Approaches, 10th International Conference on Business Information Systems (BIS), number 4439, pp.82-94, 2007.
DOI : 10.1007/978-3-540-72035-5_7

T. W. Malone, K. Crowston, J. Lee, B. Pentland, C. Dellarocas et al., Tools for Inventing Organizations: Toward a Handbook of Organizational Processes, Management Science, vol.45, issue.3, pp.425-443, 1999.
DOI : 10.1287/mnsc.45.3.425

A. Marcus and J. I. Maletic, Recovering documentation-to-source-code traceability links using latent semantic indexing, 25th International Conference on Software Engineering, 2003. Proceedings., pp.125-135, 2003.
DOI : 10.1109/ICSE.2003.1201194
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.8007

P. Massuthe and D. Weinberg, Fiona: A tool to analyze interacting open nets. The 15th German Workshop on Algorithms and Tools for Petri Nets (AWPN'08), CEUR Workshop Proceedings, pp.99-104, 2008.

B. J. Matjaz, Business Process Execution Language for Web Services BPEL and BPEL4WS, 2006.

T. Mccabe, A Complexity Measure, IEEE Transactions on Software Engineering, vol.2, issue.4, pp.308-320, 1976.
DOI : 10.1109/TSE.1976.233837

J. Mendling, Testing Density as a Complexity Metric for EPCs, 2006.

J. Mendling, Metrics for Process Models : Metrics for Process Models Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness, 2008.
DOI : 10.1007/978-3-540-89224-3

R. Milner, A Calculus of Communicating Systems, 1980.
DOI : 10.1007/3-540-10235-3

R. Milner, Communication and Concurrency, 1989.

R. Milner, Communicating and Mobile Systems: The Pi Calculus, 1999.

M. Minor, D. Schmalen, A. Koldehoff, and R. Bergmann, Structural Adaptation of Workflows Supported by a Suspension Mechanism stand by Case-Based Reasoning, 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007), pp.370-375, 2007.
DOI : 10.1109/WETICE.2007.4407190

J. Misra and W. R. Cook, (s.d.). Récupéré sur orc.csres.utexas

J. Mooney, C. Beath, G. Fitzgerald, J. Ross, and P. Weill, Managing Information Technology for Strategic Flexibility and Agility: Rethinking Conceptual Models, Architecture, Development, and Governance, 24th International Conference on Information Systems, 2003.

B. Mordechai, Principles of the Spin Model Checker, 2008.

C. Morley, M. Bia-figueiredo, and Y. Gillette, Processus métiers et S.I. -Gouvernance, management, modélisation, p.179, 2011.

C. Morley, J. Hughes, B. Leblanc, and O. Hugues, Processus métiers et S.I. : évaluation, modélisation, 2007.

C. Morley, J. Hugues, B. Leblanc, and O. Hugues, Processus Métiers et systèmes d'information : Evaluation, modélisation, mise en oeuvre, 2004.

R. Müller, U. Greiner, and E. Rahm, AgentWork: a workflow system supporting rule-based workflow adaptation, Data & Knowledge Engineering, vol.51, issue.2, pp.223-256, 2004.
DOI : 10.1016/j.datak.2004.03.010

S. Nakajima, Model-Checking Behavioral Specification of BPEL Applications, Electronic Notes in Theoretical Computer Science, vol.151, issue.2, pp.89-105, 2006.
DOI : 10.1016/j.entcs.2005.07.038

S. Nurcan, A Survey on the Flexibility Requirements Related to Business Processes and Modeling Artifacts, Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008), pp.378-388, 2008.
DOI : 10.1109/HICSS.2008.39
URL : https://hal.archives-ouvertes.fr/hal-00706115

S. Nurcan, A. Etien, R. S. Kaabi, I. Zoukar, and C. Rolland, A Strategy Driven Business Process Modelling Approach. Special issue of the Business Process Management Journal on "Goal-oriented business process modeling, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00706383

S. Onoda, Y. Ikkai, T. Kobayashi, and N. Komoda, Definition of Deadlock Patterns for Business Processes Work ow Models, Thirty-second Annual Hawaii International Conference on System Sciences (HICSS '99), pp.50-65, 1999.

. Wofbpel, A Tool for Automated Analysis of BPEL Processes. The Third International Conference On Service-Oriented Computing -(ICSOC'05) (pp. 484-489), p.180

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

M. Pesic, H. Schonenberg, and W. M. Van-der-aalst, DECLARE: Full Support for Loosely- Structured Processes. The 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC '07), pp.287-300, 2007.

S. L. Pfleeger and S. A. Bohner, A framework for software maintenance metrics, Proceedings. Conference on Software Maintenance 1990, pp.320-327, 1990.
DOI : 10.1109/ICSM.1990.131381

M. Pistore, P. Traverso, P. G. Bertoli, and A. Marconi, Automated synthesis of composite BPEL4WS Web services, IEEE International Conference on Web Services (ICWS'05), pp.293-301, 2005.
DOI : 10.1109/ICWS.2005.27

A. Pnueli, The temporal semantics of concurrent programs. The International Symposium on Semantics of Concurrent Computation (pp. 1-20), 1979.

D. Prandi, P. Quaglia, and N. Zannone, Formal Analysis of BPMN Via a Translation into COWS, The 10th international conference on Coordination models and languages, pp.249-263, 2008.
DOI : 10.1007/978-3-540-68265-3_16

J. Proth and X. Xie, Les réseaux de Petri pour la conception et la gestion des systèmes de production, 1995.

G. Pu, X. Zhao, S. Wang, and Z. Qiu, Towards the Semantics and Verification of BPEL4WS, Electronic Notes in Theoretical Computer Science, vol.151, issue.2, pp.33-52, 2006.
DOI : 10.1016/j.entcs.2005.07.035

F. Puhlmann and M. Weske, Using the pi-calculus for Formalizing Workflow Patterns, The 3rd international conference on Business Process Management (BPM'05), pp.153-168, 2005.

B. A. Rajabi and S. P. Lee, Modeling and Analysis of Change Management in Dynamic Business Process, International Journal of Computer and Electrical Engineering, vol.2, issue.1, pp.181-189, 2010.
DOI : 10.7763/IJCEE.2010.V2.133

V. Rajlich, A model for change propagation based on graph rewriting, Proceedings International Conference on Software Maintenance, pp.84-91, 1997.
DOI : 10.1109/ICSM.1997.624234

M. Ramadan, H. G. Elmongui, and R. Hassan, BPMN Formalisation using Coloured Petri Nets, The 2nd GSTF Annual International Conference on Software Engineering & Applications (SEA'11, 2011.

G. Regev and A. Wegmann, A regulation-based view on business process and supporting system flexibility, CAiSEEE Wookshops, pp.91-98, 2005.

G. Regev, P. Soffer, and R. Schmidt, Taxonomy of Flexibility in Business Processes, 7th Workshop on Business Process Modeling, Development, and Support (BPMDS'06), pp.90-93, 2006.

M. Reichert and P. Dadam, ADEPTflex-supporting dynamic changes of workflows without losing control, Journal of Intelligent Information Systems, pp.93-129, 1998.

M. Reichert, P. Dadam, and T. Bauer, Dealing with forward and backward jumps in workflow management systems. Software and Systems Modeling, pp.37-58, 2003.

M. Reichert, S. Rinderle, U. Kreher, and P. Dadam, Adaptive Process Management with ADEPT2, 21st International Conference on Data Engineering (ICDE'05), pp.1113-1114, 2005.
DOI : 10.1109/ICDE.2005.17

H. A. Reijers, Workflow Flexibility: The Forlorn Promise, 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'06), pp.271-272, 2006.
DOI : 10.1109/WETICE.2006.80

H. A. Reijers and I. T. Vanderfeesten, Cohesion and Coupling Metrics for Workflow Process Design, The 2nd International Conference on Business Process Management (BPM'04), pp.290-305, 2004.
DOI : 10.1007/978-3-540-25970-1_19

S. Rinderle, M. Reichert, and P. Dadam, Evaluation of Correctness Criteria for Dynamic Workflow Changes, The International Conference On Business Process Management (BPM'03), pp.41-57, 2003.
DOI : 10.1007/3-540-44895-0_4

S. Rinderle, M. Reichert, and P. Dadam, On Dealing With Semantically ConflictingBusiness Process Changes, 2003.

S. Rinderle, M. Reichert, and P. Dadam, Correctness criteria for dynamic changes in workflow systems??????a survey, Data & Knowledge Engineering, vol.50, issue.1, pp.9-34, 2004.
DOI : 10.1016/j.datak.2004.01.002

S. Rinderle, M. Reichert, and P. Dadam, Disjoint and Overlapping Process Changes: Challenges, Solutions, Applications, The 11th International Conference on Cooperative Information Systems (CooplS'04) (pp. 101-120). Agia, 2004.
DOI : 10.1007/978-3-540-30468-5_9

R. Aguilar, E. García, F. Ruiz, and F. , Evaluation measures for business process models, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.1567-1568, 2006.
DOI : 10.1145/1141277.1141641

R. Aguilar, E. Ruiz, F. García, F. Piattini, and M. , Applying Software Metrics to evaluate Business Process Models, CLEI electronic journal, vol.9, issue.1, p.182, 2006.

S. Rosario, A. Benveniste, S. Haar, and C. Jard, Net systems semantics of Web Services Orchestrations modeled in Orc, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00001103

A. M. Ross, D. H. Rhodes, and D. E. Hastings, Defining changeability: Reconciling flexibility, adaptability, scalability, modifiability, and robustness for maintaining system lifecycle value, Systems Engineering, vol.7, issue.1, pp.246-262, 2008.
DOI : 10.1002/sys.20098

K. Y. Rozier, Linear Temporal Logic Symbolic Model Checking, Computer Science Review, vol.5, issue.2, pp.163-203, 2011.
DOI : 10.1016/j.cosrev.2010.06.002

N. Russell and A. Tee-ofstede, newYAWL: Towards Workflow 2.0, II, Special Issue on Concurrency in Process-Aware Information Systems, pp.79-97, 2009.
DOI : 10.1007/11494744_24
URL : http://eprints.qut.edu.au/40950/1/40950.pdf

N. Russell, T. Hofstede, A. H. Mulyar, and N. , Workflow ControlFlow Patterns: A Revised View, 2006.

N. Russell, T. Hofstede, A. H. Edmond, D. Van-der-aalst, and W. M. , Workflow Data Patterns: Identification, Representation and Tool Support, International Conference on Conceptual Modeling (ER), pp.353-368, 2005.
DOI : 10.1007/11568322_23

N. Russell, W. M. Van-der-aalst, T. Hofstede, A. H. Edmond, and D. , Workflow Resource Patterns: Identification, Representation and Tool Support, 17th International Conference, pp.216-232, 2004.
DOI : 10.1007/11431855_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.5143

B. G. Ryder and F. Tip, Change impact analysis for object-oriented programs. The 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (PASTE '01), pp.46-53, 2001.

S. Sadiq and M. Orlowska, Architectural Considerations in Systems Supporting Dynamic Workflow Modification, The Workshop on Software Architectures for Business Process Maageeet at the th Coof. oo Advaed IIfoooatioo Sstees EEgieeig CaiSE, 1999.

S. Sadiq, M. Orlowska, and W. Sadiq, Data flow and validation in workflow modelling. The the 15th Australasian database conference, pp.207-214, 2004.

W. Sadiq and M. E. Orlowska, Modeling and Verification of Workflow Graphs, 1996.

W. Sadiq and M. E. Orlowska, On Correctness Issues in Conceptual Modeling of Workflows, European Conference on Informatioo Sstees ECIS, 1997.

W. Sadiq and M. E. Orlowska, On Capturing Process Requirements ofWorkflow BasedBusiness Information Systems, 3rd International Conference on Business Information Systems BIS'99, pp.281-294, 1999.

G. Salaün, L. Bordeaux, and M. Schaerf, Describing and reasoning on Web services using process algebra, The IEEE International Conference on Web Services, pp.43-50, 2004.

G. Salaün, A. Ferrara, and A. Chirichiello, Negotiation Among Web Services Using LOTOS/CADP, The European Conference Web Services (ECOWS'04), pp.198-212, 2004.
DOI : 10.1007/978-3-540-30209-4_15

L. Sánchez-gonzález, F. García, J. Mendling, and F. Ruiz, Quality Assessment of Business Process Models Based on Thresholds, The Confederated International Conferences On the Move to Meaningful Internet Systems: OTM 2010, pp.78-95, 2010.
DOI : 10.1007/978-3-642-16934-2_9

L. Sánchez-gonzález, F. García, J. Mendling, F. Ruiz, and M. Piattini, Prediction of Business Process Model Quality Based on Structural Metrics, The 29th International Conference on Conceptual Modeling (ER'10), pp.458-463, 2010.
DOI : 10.1109/TSE.2003.1245300

L. Sánchez-gonzález, F. Ruiz, F. García, and M. Piattini, Improving Quality of Business Process Models, The 6th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'11), pp.130-144, 2011.
DOI : 10.1007/978-3-642-32341-6_9

A. Scheer, ARIS, 2000.
DOI : 10.1007/978-3-662-03526-9_24

A. Scheer, ARIS -Business Process Frameworks, 2010.
DOI : 10.1007/978-3-642-58529-6

K. Schmidt, LoLA: a low level analyser. The 21st International Conference Application and Theory of Petri Nets (ICATPN'00), pp.465-474, 2000.

K. Schneider, . D. Prof, and D. Schmid, CTL and Equivalent Sublanguages of CTL, The 5th International Conference on Computer Hardware Description Languages and their Applications, pp.40-59, 1997.
DOI : 10.1007/978-0-387-35064-6_4

H. Schonenberg, R. Mans, N. Russell, N. Mulyar, and W. Van-der-aalst, Process Flexibility: A Survey of Contemporary Approaches, 2008.
DOI : 10.1007/978-3-540-68644-6_2

M. Schonenberg, R. Mans, N. Russell, N. Mulyar, and W. Van-der-aalst, Towards a Taxonomy of Process Flexibility (Extended Version), 2007.

H. Smith and P. Fingar, Workflow is just a Pi process, BPTrends, 2003.

P. Soffer, On the Notion of Flexibility in Business Processes, CAiSEEE Wokshops, pp.35-42, 2005.

S. Dong, J. Liu, Y. Sun, J. Zhang, and X. , Verification of Computation Orchestration Via Timed Automata, The 8th International Conference on Formal Engineering Methods, pp.226-245, 2006.
DOI : 10.1007/11901433_13

A. Speck, S. Feja, S. Witt, and E. Pulvermüller, Formalizing business process specifications, Computer Science and Information Systems, vol.8, issue.2, pp.427-446, 2011.
DOI : 10.2298/CSIS110111015S
URL : http://doi.org/10.2298/csis110111015s

P. Sun and C. Jiang, Analysis of workflow dynamic changes based on Petri net, Information and Software Technology, vol.51, issue.2, pp.284-292, 2009.
DOI : 10.1016/j.infsof.2008.02.004

Y. Sun, J. Z. Huang, and X. Meng, Integrating constraints to support legally flexible business processes Information Systems Frontiers archive, pp.171-189, 2011.

T. Takemura, Formal Semantics and Verification of BPMN Transaction and Compensation, 2008 IEEE Asia-Pacific Services Computing Conference, pp.284-290, 2008.
DOI : 10.1109/APSCC.2008.208

N. Tantitharanukul, Detecting deadlock and multiple termination in BPMN model using process automata, International Conference on Electrical Engineering/Electronics Computer Telecommunications and Information Technology (ECTI-CON 2010), pp.478-482, 2010.

N. Tantitharanukul and W. Jumpamule, Detection of LiveLock in BPMN Using Process Expression, The 4th International Conference on Advances in Information Technology (IAIT'2010) Advances in Information TechnologyCommunications in Computer and Information Science, pp.164-174, 2010.
DOI : 10.1007/978-3-540-69387-1_58

S. Thatte, XLANG -Web Services For Business Process Design. Récupéré sur http, 2001.

R. J. Turver and M. Munro, An early impact analysis technique for software maintenance, Journal of Software Maintenance: Research and Practice, vol.11, issue.1, pp.35-52, 1994.
DOI : 10.1002/smr.4360060104

J. Van-belle, A proposed framework for the analysis and evaluation of business models. The 2004 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries, South African Institute for Computer Scientists and Information Technologists, pp.210-215, 2004.

W. Van-der-aalst, The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, vol.8, issue.1, pp.21-66, 1998.

W. Van-der-aalst, Formalization and verification of event-driven process chains. Information and Software Technology, pp.41-639, 1999.

W. Van-der-aalst, How to handle dynamic change and capture management information? An approach based on generic workflow models, Journal of Computer Systems Science Engineering, vol.15, issue.5, 2001.

W. M. Van-der-aalst, Challenges in Business Process Analysis, The 9th International Conference On Enterprise Information Systems (ICEIS'07), pp.27-42, 2007.
DOI : 10.1007/978-3-540-88710-2_3

W. M. Van-der-aalst and M. Song, Mining Social Networks: Uncovering Interaction Patterns in Business Processes, The 2nd International Conference on Business Process Management (BPM'04), pp.244-260, 2004.
DOI : 10.1007/978-3-540-25970-1_16

W. M. Van-der-aalst, T. Hofstede, A. H. Weske, and M. , Business Process Management: A Survey, LNCS, vol.2678, pp.1-12, 2003.
DOI : 10.1007/3-540-44895-0_1

W. Van-der-aalst and A. Ter-hofstede, YAWL: yet another workflow language, Information Systems, vol.30, issue.4, pp.245-275, 2005.
DOI : 10.1016/j.is.2004.02.002

W. Van-der-aalst and B. F. Van-dongen, Discovering Workflow PerformanceModels from Timed Logs, The International Conference on Engineering and Deployment of Cooperative Information Systems (EDCIS' 02), pp.45-63, 2002.

W. Van-der-aalst, T. Basten, H. M. Verbeek, P. A. Verkoulen, and M. Voorhoeve, Adaptive workflow -On the interplay between flexibility and support, Proceedings of the first International Conference on Enterprise Information Systems, pp.353-360, 1999.

W. Van-der-aalst, A. Ter-hofstede, B. Kiepuszewski, and A. Barros, Workflow Patterns. Distributed and Parallel Databases, pp.5-51, 2003.

B. F. Van-dongen and M. H. Jansen-vullers, Verification of SAP Reference Models, The 3rd International Conference On Business Process Management (BPM'05), pp.464-469, 2005.
DOI : 10.1007/11538394_41

B. F. Van-dongen, A. K. De-medeiros, H. Verbeek, A. J. Weijters, and W. M. Van-der-aalst, The ProM Framework: A New Era in Process Mining Tool Support, The 26th International Conference on Applications and Theory of Petri Nets (ICATPN' 05), pp.444-454, 2005.
DOI : 10.1007/11494744_25

I. T. Vanderfeesten, J. Cardoso, and H. A. Reijers, A weighted coupling metric for business process models, The Workshop of 19th International Conference on Advanced Information Systems Engineering (CAiSE'07), pp.41-44186, 2007.

I. T. Vanderfeesten, H. A. Reijers, and W. Van-der-alst, Evaluating workflow process designs using cohesion and coupling metrics, Computers in Industry, vol.59, issue.5, pp.420-437, 2008.
DOI : 10.1016/j.compind.2007.12.007

C. Vaz and C. Ferreira, Formal verification of workflow patterns with spin, 2007.

C. Vaz and C. Ferreira, Towards Automated Verification of Web Services, The IADIS International Conference on WWW, 2007.

E. Verbeek, M. Van-hattem, H. Reijers, and W. De-munk, Protos 7.0: Simulation Made Accessible, The 26th International Conference On Applications and Theory of Petri Nets (ICATPN'05), pp.465-474, 2005.
DOI : 10.1007/11494744_27

H. Verbeek, T. Basten, and W. Van-der-aalst, Diagnosing Workflow Processes using Woflan, The Computer Journal, vol.44, issue.4, 2001.
DOI : 10.1093/comjnl/44.4.246

G. Wagner, Rule Modeling and Markup. Reasoning Web, pp.251-274, 2005.

G. Wagner, A. Giurca, and S. Lukichev, A Usable Interchange Format for Rich Syntax Rules Integrating OCL, RuleML and SWRL, 2006.

C. D. Walton, Model Checking Agent Dialogues The 2nd International Workshop on Declarative Agent Languages and Technologies II (DALT'04) (pp. 132-147), 2005.

J. Wang, Timed Petri Nets: Theory and Application, 1998.
DOI : 10.1007/978-1-4615-5537-7

S. Wang and M. A. Capretz, A Dependency Impact Analysis Model for Web Services Evolution, 2009 IEEE International Conference on Web Services, pp.359-365, 2009.
DOI : 10.1109/ICWS.2009.62

B. Weber, M. Reichert, and S. Rinderle-ma, Change patterns and change support features ??? Enhancing flexibility in process-aware information systems, Data & Knowledge Engineering, vol.66, issue.3, pp.438-466, 2008.
DOI : 10.1016/j.datak.2008.05.001

B. Weber, W. Wild, M. Lauer, and M. Rei, Improving Exception Handling by Discovering Change Dependencies in Adaptive Process Management Systems, BPM 2006 International Workshops, BPD, pp.93-104, 2006.
DOI : 10.1007/11837862_11

S. Weerawarana, F. Curbera, F. Leymann, T. Storey, and D. F. Ferguson, Web Services Platform Architecture: SOAP, WSDL, WS-Policy, 2005.

A. J. Weijters and W. M. Van-der-aalst, Rediscovering workflow models from event-based data using little thumb, Journal of Integrated Computer-Aided Engineering, pp.151-162, 2003.

M. Weske, Flexible modeling and execution of workflow activities, Proceedings of the Thirty-First Hawaii International Conference on System Sciences, pp.713-722187, 1998.
DOI : 10.1109/HICSS.1998.649274

M. Weske, Workflow Management Systems: Formal Foundation, Conceptual Design, Implementation Aspects, 2000.

M. Weske, Formal foundation and conceptual design of dynamic adaptations in a workflow management system, Proceedings of the 34th Annual Hawaii International Conference on System Sciences, 2001.
DOI : 10.1109/HICSS.2001.927082

T. Wolfgang, Computation tree logic and regular -languages. The School/Workshop of Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, pp.690-713, 1989.

A. Wombacher, P. Fankhauser, and E. Neuhold, Transforming BPEL into annotated deterministic finite state automata for service discovery, Proceedings. IEEE International Conference on Web Services, 2004., pp.316-323, 2004.
DOI : 10.1109/ICWS.2004.1314753

B. Wong and R. Jeffery, Quality Metrics : ISO9126 and Stakeholder Perceptions, 1995.

B. Wong and R. Jeffery, Cognitive Structures of Software Evaluation: A Means-End Chain Analysis of Quality, The3rd International Conference on Product Focused Software Process Improvement, pp.6-26, 2001.
DOI : 10.1007/3-540-44813-6_5

P. Y. Wong and J. Gibbons, A Process Semantics for BPMN, The 10th International Conference on Formal Methods and Software Engineering (ICFEM'08), pp.355-374, 2008.
DOI : 10.1007/978-3-540-88194-0_22

J. Woodcock and J. Davies, Using Z: specification, refinement, and proof, 1996.

D. Yang and S. Zhang, Approach for workflow modeling using pi-calculus, Journal of Zhejiang University Science, pp.643-650, 2003.

Y. Yang, Q. Tan, and Y. Xiao, Verifying web services composition based on hierarchical colored petri nets. The 1st international workshop on Interoperability of heterogeneous information systems, IHIS '05), pp.47-54, 2005.
DOI : 10.1145/1096967.1096977

J. Ye, S. Sun, L. Wen, and W. Song, Transformation of BPMN to YAWL, 2008 International Conference on Computer Science and Software Engineering, pp.354-359, 2008.
DOI : 10.1109/CSSE.2008.980

X. Yi and K. J. Kochut, A CP-nets-based Design and Verification Framework for Web Services Composition, The IEEE International Conference on Web Services (ICWS '04), pp.756-760, 2004.

T. Yu, D. E. Goldberg, K. Sastry, C. F. Lima, and M. Pelikan, Dependency Structure Matrix, Genetic Algorithms, and Effective Recombination, Evolutionary Computation, vol.3, issue.5, pp.595-626, 2009.
DOI : 10.1007/s00163-007-0030-1

L. Zeng, D. Flaxer, H. Chang, and J. Jeng, PLM flow-Dynamic Business Process Composition and Execution by Rule Inference. The Third International Workshop on Technologies for E-Services TES '02, pp.141-150, 2002.

L. Zeng, A. Ngu, B. Benatallah, and M. Dell, An agent-based approach for supporting cross-enterprise workflows. The 12th Australasian database conference (ADC'01), pp.123-130, 2001.

X. Zhao and C. Liu, Version management for business process schema evolution, Information Systems, vol.38, issue.8, pp.1046-1069, 2013.
DOI : 10.1016/j.is.2013.03.006

M. Zur-muehlen, Workflow-based process controlling: foundation, design, and application of workflow-driven process information systems, Process information system, 2004.

M. Zur-muehlen and M. Indulska, Modeling languages for business processes and business rules: A representational analysis, Information Systems, vol.35, issue.4, pp.379-390, 2010.
DOI : 10.1016/j.is.2009.02.006