S. C. Bandinelli, A. Fuggetta, and C. Ghezzi, Software process model evolution in the SPADE environment, IEEE Transactions on Software Engineering, vol.19, issue.12, pp.1128-1144, 1993.
DOI : 10.1109/32.249659

L. Baresi, S. Guinea, and P. Plebani, Policies and Aspects for the Supervision of BPEL Processes, CAiSE, pp.340-354, 2007.
DOI : 10.1007/978-3-540-72988-4_24

X. Blanc, A. Mougenot, I. Mounier, and T. Mens, Detecting model inconsistency through operation-based model construction, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.511-520, 2008.
DOI : 10.1145/1368088.1368158
URL : https://hal.archives-ouvertes.fr/hal-01303728

A. G. Cass and L. J. Osterweil, Process support to help novices design software faster and better, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.295-299, 2005.
DOI : 10.1145/1101908.1101954

G. Cugola, Tolerating deviations in process support systems via flexible enactment of process models, IEEE Transactions on Software Engineering, vol.24, issue.11, pp.982-1001, 1998.
DOI : 10.1109/32.730546

M. A. Da-silva, R. Bendraou, X. Blanc, and M. Gervais, Early deviation detection in modeling activities of mde processes, Petriu et al. [15], pp.303-317
URL : https://hal.archives-ouvertes.fr/hal-01293860

M. A. Da-silva, A. Mougenot, R. Bendraou, J. Robin, and X. Blanc, Artifact or process guidance, an empirical study, Petriu et al. [15], pp.318-330
URL : https://hal.archives-ouvertes.fr/hal-01293856

M. A. Da-silva, A. Mougenot, X. Blanc, and R. Bendraou, Towards automated inconsistency handling in design models, Proceedings of the 22st International Conference on Advanced Information Systems, CAISE'10, pp.348-362, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01292626

A. Egyed, E. Letier, and A. Finkelstein, Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.99-108, 2008.
DOI : 10.1109/ASE.2008.20

M. Kabbaj, R. Lbath, and B. Coulette, A Deviation Management System for Handling Software Process Enactment Evolution, Lecture Notes in Computer Science, vol.5007, pp.186-197, 2008.
DOI : 10.1007/978-3-540-79588-9_17

F. Lanubile and G. Visaggio, Evaluating defect detection techniques for software requirements inspections, 2000.

A. Lindsay, D. Downs, and K. Lunn, Business processes???attempts to find a definition, Information and Software Technology, vol.45, issue.15, pp.1015-1019, 2003.
DOI : 10.1016/S0950-5849(03)00129-0

J. Lonchamp, A structured conceptual and terminological framework for software process engineering, [1993] Proceedings of the Second International Conference on the Software Process-Continuous Software Process Improvement, pp.41-53, 1993.
DOI : 10.1109/SPCON.1993.236823

K. Mahbub and G. Spanoudakis, A framework for requirents monitoring of service based systems, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, pp.84-93, 2004.
DOI : 10.1145/1035167.1035181

S. Sadiq, G. Governatori, and K. Namiri, Modeling Control Objectives for Business Process Compliance, Proceedings of the 5th international conference on Business process management , BPM'07, pp.149-164, 2007.
DOI : 10.1007/978-3-540-75183-0_12

T. J. Sliski, M. P. Billmers, L. A. Clarke, and L. J. Osterweil, An architecture for flexible, evolvable process-driven userguidance environments, ESEC/FSE, pp.33-43, 2001.

G. Spanoudakis and A. Zisman, INCONSISTENCY MANAGEMENT IN SOFTWARE ENGINEERING: SURVEY AND OPEN RESEARCH ISSUES, In IN HANDBOOK OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING World Sci- entific, pp.329-380
DOI : 10.1142/9789812389718_0015

W. Visser, More or less following a plan during design: opportunistic deviations in specification, International Journal of Man-Machine Studies, vol.33, issue.3, pp.247-278, 1990.
DOI : 10.1016/S0020-7373(05)80119-1
URL : https://hal.archives-ouvertes.fr/inria-00633544

N. Zazworka, V. R. Basili, and F. Shull, Tool supported detection and judgment of nonconformance in process execution, 2009 3rd International Symposium on Empirical Software Engineering and Measurement, pp.312-323, 2009.
DOI : 10.1109/ESEM.2009.5315983