Liste Publications


International journals

  • David Raffo, Reda Bendraou, LiGuo Huang, Fabrizio Maria Maggi:Innovative process paradigms and data driven analytics: A new horizon for software and systems process. J. Softw. Evol. Process. 31(6) (2019)(B)
  • Regina Hebig, Djamel Eddine Khelladi, and Reda Bendraou: “Approaches to Co-Evolution of Metamodels and Models: A Survey”, in IEEE TSE (Transactions of Software Engineering) Volume: 43, Issue: 5, May 1 2017 (A+)
  • Djamel Eddine Khelladi, Reda Bendraou, Regina Hebig, Marie-Pierre Gervais, “A Semi-Automatic Maintenance and Co-evolution of OCL Constraints with (Meta)model Evolution” in Journal of Systems and Software, 134: 242-260 (2017) (B)
  • Djamel Eddine Khelladi, Reda Bendraou, Regina Hebig, Marie-Pierre Gervais :”Co-adapting Multi-Dimension Process Properties”, in Journal of Software : Evolution and Process 29(11)(2017) (B)
  • E. Khelladi, R. Hebig, R. Bendraou, J. Robin, M-P. Gervais. “Detecting Complex Changes and Refactorings During (Meta)model Evolution.” Information Systems Vol N° 62 (2016): pages 220-241(A)
  • Jean-Rémy Falleri, Xavier Blanc, Reda Bendraou, Marcos Aurélio Almeida da Silva and Cédric Teyton, “Incremental inconsistencies detection with low memory overhead”, in journal of Software: Practice and Experience (SPE), Volume 44, Issue 5, pages 621–641, May 2014 (A)
  • Marcos Aurélio Almeida da Silva, Xavier Blanc, Reda Bendraou, Marie-Pierre Gervais. “Experiments on the impact of deviations to process execution” in the ISI Journal (Ingénierie des Systèmes d’Information), special issue on “Évaluation des Systèmes d’Information”, 18(3): 295-119 (2013)
  • Bendraou, J-M., Jezéquél and Franck Fleurey “Achieving Process modeling and Execution through the Combination of Aspect and Model-Driven Engineering Approaches”, in Journal of Software Maintenance and Evolution: Research and Practice (JSME) Volume 24, Issue 7, pages 765–781, November 2012 (B)
  • Bendraou, J-M., Jezéquél, M.P. Gervais and X. Blanc, “A Comparison of Six UML-Based Languages for Software Process Modeling”, in IEEE Transactions on Software Engineering, 36(5) : 662-675, 2010 (A+)
  • Staudt Lerner, S. Christov, L. Osterweil, Reda. Bendraou, Udo Kannengiesser and A. Wise, “Exception Handling Patterns for Process Modeling”, in IEEE Transactions on Software Engineering, 36(2): 162-183, 2010. (A+)
  • Bendraou, P. Desfray , M.P. Gervais and A. Muller “MDA Tool Components : A Proposal for Packaging Know-how in Model Driven Development”, in SoSyM : Journal on Software & System Modeling. Springer, Vol. 7, Num 3., p 329-343, 2008 (B)

 International conferences

  • Aleksandr Chueshev, Julia Lawall, Reda Bendraou, Tewfik Ziadi: Expanding the Number of Reviewers in Open-Source Projects by Recommending Appropriate Developers. ICSME 2020: 499-510 (A)
  • Regina Hebig, Djamel Eddine Khelladi, Reda Bendraou: “Reporting on a Survey on Approaches to Co-Evolution of Metamodels and Models”. Software Engineering 2018: 93-94
  • Emma Effa Bella, Marie-Pierre Gervais, Reda Bendraou, Laurent Wouters, Ali Koudri: “Semi-Supervised Approach for Recovering Traceability Links in Complex Systems”.ICECCS2018: 193-196
  • Bendraou, B. Combemale, X. Crégut and M.P. Gervais, “Definition of an Executable SPEM2.0”, in Proceedings of the 24th Asia-Pacific Software Engineering Conference (APSEC), IEEE Computer Society press, (Most influential paper for the last 10 years’ award)
  • Fahad Rafique Golra, Fabien Dagnat, Reda Bendraou, Antoine Beugnard: “Continuous Process Compliance Using Model Driven Engineering”. MEDI 2017: 42-56
  • Djamel Eddine Khelladi, R. Hebig, Reda. Bendraou, J. Robin, M-P. “Metamodel and Constraints Co-evolution: A Semi Automatic Maintenance of OCL Constraints”. 15th International Conference on Software Reuse, ICSR: 333-349, 2016 (Best paper award). (A)
  • Djamel Eddine Khelladi, Reda. Bendraou, R. Hebig, M-P. “Supporting the Co-adaption of Process Properties”. International Conference on Software and System Process, ICSSP 2016. (A)
  • Djamel Eddine Khelladi, Reda. Bendraou, M-P. “AD-ROOM : a Tool for Automatic Detection of Refactorings in Object-Oriented Models.” IEEE/ACM 38th IEEE International Conference on Software Engineering (ICSE), ICSE (Companion Volume) 2016: 617-620 (A+)
  • Djamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais :”SAC-OCL : A Tool for A Semi Automatic Co-evolution of OCL Constraints”. D&P@MoDELS 2016 : 40-47
  • Djamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais:”Towards a User-Guided Difference-Based Detection of Atomic Change”s. ICECCS 2016 : 211-214
  • Regina Hebig, Djamel Eddine Khelladi and Reda. Bendraou. “Surveying the Corpus of Model Resolution Strategies for Metamodel Evolution”, 22th IEEE Asian-Pacific Software Engineering Conference. APSEC’15
  • Djamel Eddine Khelladi, Regina Hebig, Reda Bendraou, Jacques Robin, Marie-Pierre Gervais : Detecting Complex Changes During Metamodel Evolution. CAiSE 2015 : pp263-278 (A)
  • Hugo Bruneliere, Jokin García, Philippe Desfray, Djamel Eddine Khelladi, Regina Hebig, Reda Bendraou, Jordi Cabot : On Lightweight Metamodel Extension to Support Modeling Tools Agility. ECMFA 2015 : 62-74
  • Djamel Eddine Khelladi, Reda Bendraou, Souheib Baarir, Yoann Laurent, Marie-Pierre Gervais : A framework to formally verify conformance of a software process to a software method. SAC 2015 : 1518-1525
  • Dietmar Pfahl, Reda Bendraou, Richard Turner, Marco Kuhrmann, Regina Hebig, Fabrizio Maria Maggi : Proceedings of the 2015 International Conference on Software and System Process, ICSSP 2015, Tallinn, Estonia, August 24 – 26, 2015. ACM 2015, ISBN 978-1-4503-3346-7(A)
  • Laurent, R. Bendraou, S. Baarir, M.‑P. Gervais : Formalization of fUML : an Application to Process Verification, 26th International Conference on Advanced Information Systems Engineering (CAiSE), Lecture Notes in Computer Science, pp.347-363(A)
  • Laurent, R. Bendraou, S. Baarir, M.‑P. Gervais : Alloy4SPV : a Formal Framework for Software Process Verification, 10th European Conference on Modelling Foundations and Applications (ECMFA), Lecture Notes in Computer Science, pp.83-100, (Springer) (2014)
  • Regina Hebig, Reda Bendraou : On the need to study the impact of model driven engineering on software processes. ICSSP 2014: 164-168 (A)
  • Laurent, R. Bendraou, S. Baarir, M.‑P. Gervais : Planning for Declarative Processes, 29th Annual ACM Symposium on Applied Computing, pp. 1126-1133, (ACM) (2014)
  • Laurent, Y., Bendraou, R., Gervais, M.P. : Executing and Debugging UML Models : an fUML extension. In : SAC, ACM, 1095-1102 March 2013
  • Laurent, Y., Bendraou, R., Gervais, M.P. : Generation of Process using Multi-Objective Genetic Algorithm. In : Proceedings of the 2013 International Conference on Software and Systems Process, ACM (2013), 161-165, co-located with ICSE 2013 (A)
  • Alexandre Beslic, Reda Bendraou, Julien Sopenal, Jean-Yves Rigolet : Towards a solution avoiding Vendor Lock-in to enable Migration Between Cloud Platforms. MDHPCL@MoDELS 2013 : 5-14
  • Ibrahima Fall, Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc : Towards a Full Specification and Use of Overlap Relationships between Work Products in MDE Software Processes. WETICE 2013 : 209-217
  • Reda Bendraou, Marcos Aurélio Almeida da Silva, Marie-Pierre Gervais, and Xavier Blanc, Support for deviation detections in the context of multi-viewpoint-based development processes. in CAiSE Forum, 23-31, 24nd International Conference on Advanced Information Systems Engineering, Gdansk, Poland, June 2012
  • A. Almeida da Silva, X. Blanc and R. Bendraou, ” Deviation Management during Process Execution”, in proceedings of the 26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011), Novemvre 2011, Lawrence, Kansas, USA.
  • A. Almeida da Silva, R. Bendraou, J. Robin, and X. Blanc ” Flexible Deviation Handling during Process Enactment “, in proceedings of the Fifteenth IEEE International Enterprise and Distributed Computing Conference & Workshops (EDOCW 2011, 34-41), August 2011, Helsinki, Finland
  • Bendraou , R. Elbath , B. Coulette, and M-P. Gervais, Proceedings of the Process-Centred Approaches for Model-Driven Engineering workshop(PMDE) – First Edition. ECMFA 2011 : 383-384
  • Bendraou, D. Cancila, H. Espinoza, S. Gerard, F. Kordon, and B. Selic, editors. 1st Model-Based Engineering for Real-Time Embedded Systems Design (with ISORC 2010). IEEE Comp Society, 2010
  • A. Almeida da Silva, R. Bendraou, X. Blanc and M-P. Gervais, “Early Deviation Detection in Modeling activities of MDE Processes”, in proc. of MoDELS, LNCS, Springer Verlag, Oct 3-8, 2010, Oslo, Norway
  • A. Almeida da Silva, A. Mougenot, R. Bendraou, J. Robin and X. Blanc “Artifact or Process Guidance, an Empirical Study”, in proceedings of MoDELS, LNCS, Springer Verlag, October 3-8, 2010, Oslo, Norway
  • A. Almeida Da Silva, A. Mougenot, X. Blanc and R. Bendraou “Towards Automated Inconsistency Handling in Design Models”. In proceedings of the International 21st International Conference on Advanced Information Systems Engineering, , CAiSE 2010, Hammamet, Tunisia, June 7-11, 2010 (A)
  • Bendraou, J-M., Jezéquél and Franck Fleurey “Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Simulation” in proceedings of the International Conference on Software Process (ICSP) 2009 co-located with ICSE 2009, LNCS, May 2009, Vancouver, Canada (A)
  • Bendraou, B. Combemale, X. Crégut and M.P. Gervais, “Definition of an Executable SPEM2.0”, in Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC), IEEE Computer Society press, Nagoya, Japan, 2007
  • Bendraou and M.P. Gervais, “A Framework for Classifying and Comparing Process Technology Domains”, in Proceedings of International Conference on Software Engineering Advances (ICSEA’07), pp. 5-12, Cap Esterel, France, IEEE Computer Society Press 2007
  • Bendraou, A. Sadovykh, M.P. Gervais and X. Blanc, “Software Process Modeling and Execution : The UML4SPM to WS-BPEL Approach”, in Proceedings of the 33rd EUROMICRO Conference of Software Engineering Advanced Application (SEAA), pp. 314-321, Lübeck, Germany,IEEE Comp. Society Press 2007
  • Bendraou, M.P. Gervais and X. Blanc, “UML4SPM : An Executable Software Process Modelling Language Providing High-Level Abstractions”, in Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC’06), pp. 297-306, Hong Kong, China, , 2006
  • Bendraou, M.P. Gervais and X. Blanc, “UML4SPM : A UML2.0-Based metamodel for Software Process Modeling”, in Proceedings of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS’05), Montego Bay, Jamaica, Oct. 2005, LNCS, Vol. 3713, PP 17-38
  • Bendraou, P. Desfray and M.P. Gervais, “MDA Components : A Flexible Way for Implementing the MDA Approach”, in Proceedings of the European Conference on Model Driven Architecture –Foundations and Applications (ECMDA-FA’05), Nuremberg, Germany, Nov. 2005, LNCS Vol. 3748, PP 59-73
  • Bendraou, S. Bouzitouna and M. P. Gervais, “From MDA Platform-Specific Model to Code Generation : Coupling of RM-ODP and UML Action Semantics Standards”, in Proceedings of the International Conference on Software Engineering Research and Practice (SERP’04), Las Vegas, USA, June 2004

Proceedings editions

 

  • Reda Bendraou, David Raffo, LiGuo Huang, Fabrizio Maria Maggi : Proceedings of the 2017 International Conference on Software and System Process, Paris, France, ICSSP 2017, July 5-7, 2017. ACM 2017, ISBN 978-1-4503-5270-3
  • Dietmar Pfahl, Reda Bendraou, Richard Turner, Marco Kuhrmann, Regina Hebig, Fabrizio Maria Maggi : Proceedings of the 2015 International Conference on Software and System Process, ICSSP 2015, Tallinn, Estonia, August 24 – 26, 2015. ACM 2015, ISBN 978-1-4503-3346-7
  • Bendraou, D. Cancila, H. Espinoza, S. Gérard, F. Kordon, and B. Selic, editors. 1st Model-Based Engineering for Real-Time Embedded Systems Design (associated to ISORC 2010). IEEE Computer Society, 2010
  • Bendraou , R. Elbath , B. Coulette, and M-P. Gervais, Proceedings of the Process-Centred Approaches for Model-Driven Engineering workshop(PMDE) – First Edition. ECMFA 2011 : 383-384
  • Regina Hebig, Reda Bendraou, Markus Völter, Michel R. V. Chaudron (Eds.) : Proceedings of the 1st International Workshop on Model-Driven Development Processes and Practices co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 28, 2014. CEUR Workshop Proceedings 1249, CEUR-WS.org 2014

International peer-reviewed workshops

  • Souheib Baarir, Reda Bendraou, Hakan MetinYoann Laurent: ProVer: an SMT-based approach for process verification.MODELS Workshops 2018: 555-562
  • Djamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais :”SAC-OCL : A Tool for A Semi Automatic Co-evolution of OCL Constraints”. D&P@MoDELS 2016 : 40-47
  • Regina Hebig, Reda Bendraou, Markus Völter, Michel R. V. Chaudron : Model-Driven Development Processes and Practices : Foundations and Research Perspectives. MD2P2@MoDELS 2014 : 2-6
  • Alexandre Beslic, Reda Bendraou, Julien Sopenal, Jean-Yves Rigolet : Towards a solution avoiding Vendor Lock-in to enable Migration Between Cloud Platforms. MDHPCL@MoDELS 2013 : 5-14

Livrables Officiels de Projets / Project Deliverables

  • 2007 : Projet IST Modelplex, Document Livrable D2.6.a : Specification of the SPEM 2.0 extensions. Rédaction des parties du Chapitre 2 (Process Enactment) et du Chapitre 3 (Modelplex approach on process enactment)
  • 2006 : Projet IST ModelWare, Document Livrable D1.4 : MDA Tool Component Specification. Rédaction des Chapitres : MDA Tool Component Behavior Metamodel et MDA Tool Component : Architectural Overview.
  • Document Téléchargeable à : http://www.modelware-ist.org
  • 2003 : Projet RNTL TRAMs, Document Livrable Lot 4 : Règles de correspondance entre COBOL, le point de vue Traitement de RM-ODP et le Langage JAVA

Documents Diplômants / Documents leading to a qualification

  • HDR (en anglais/ in english). Title :”Model-Driven Process Engineering for flexible yet sound process modeling, execution and verification”. [PDF]
  • Thèse de Doctorat en Informatique (en anglais / in english). Sujet : UML4SPM : Un Langage De Modélisation De Procédés De Développement Logiciel Exécutable Et Orienté Modèle [PDF]
  • DEA en Informatique (in french). Sujet : Transformation Reposant sur une Architecture à base de Méta-Modèles pour la Migration des SI vers le Web pdf/rapport_bendraou_deai3_2003.pdf
  • Ingéniorat en Informatique (in french). Sujet : Conception et Réalisation du Système d’Information du Trésor Public en Java avec accès multiples à des Bases de Données Distantes pdf/rapportdiplomeingenieur.pdf

UML4SPM Prototype

Download UML4SPM Demo : Eclipse + Plugins + Méta-modèle UML4SPM + exemple (to execute, run ProcessModelExecution class in the ExecActivity/src/ExecActvity folder. The example is in the SoftwareProcessExample folder). Tutorial coming soon ! UML4SPM Notation and Evaluation using the ISPW-6 Process Example

Download the UML4SPM Notation and Evalution using the ISPW-6 Process Example

[Overview PraxisRules PraxisRules

ProDAn video (MeRGE Project) : mp4/merge3.mp4

ProVer user Guide : pdf/prover_user_guide.pdf

Yoann Laurent Thesis : https://drive.google.com/open?id=0B…