Supervision : Marie-Pierre GERVAIS

Co-supervision : BLANC Xavier

UML4SPM: Un Langage de Modélisation de Procédés De Développement Logiciel Exécutable Et Orienté Modèle

Même si la fiabilité des applications logicielles a souvent été évaluée par les traditionnelles approches de Vérification et de Validation (V et V), il n'en est pas moins établi que le choix des acteurs ainsi que du procédé de développement suivi lors de leur réalisation y contribue fortement. Les entreprises ont très vite compris cet enjeu et leur intérêt à vouloir capitaliser leur savoir-faire sous forme de Modèles de Procédés n'a cessé de s'accroître. L'objectif sous-jacent étant bien sûr de pérenniser une connaissance précieuse et répétitive de leur Procédés de Développement Logiciel, mais aussi de s'en servir à des fins de compréhension, d'analyse et d'exécution. Depuis bientôt trois décennies, on assiste à une prolifération de ce que l'on appelle communément les Langages de Modélisation de Procédés (LMPs). Néanmoins, aucun d'entre eux n'a réussi à s'imposer comme le Langage pour la modélisation de procédés de développement logiciel. Leur complexité, leur applicabilité à des domaines dédiés ou leur manque d'expressivité sont parmi les freins qui ont pénalisé leur adoption. Ajouter à cela, un besoin critique, rarement satisfait, qui est celui de pouvoir simuler ces Modèles de Procédés, de les exécuter et de gérer leur répartition sur plusieurs sites distants et hétérogènes. Le but de cette thèse est de proposer un Langage de Modélisation de Procédés de Développement Logiciel selon une approche normative visant à répondre aux nouvelles attentes de la communauté logicielle. Ce dernier devra satisfaire un certain nombre d'exigences que nous avons identifiées avec comme priorités premières, une simplicité d'utilisation et de compréhension ainsi qu'une prédisposition des modèles instance de ce langage à être simulés et exécutés.

5 PhD graduated 2012 - 2016

2004-2020 Publications

• 2020
  • A. Chueshev, J. Lawall, R. Bendraou, T. Ziadi : “Expanding the Number of Reviewers in Open-Source Projects by Recommending Appropriate Developers”, ICSME 2020 - International Conference on Software Maintenance and Evolution, Adélaïde / Virtual, Australia (2020)
• 2019
  • E. EFFA BELLA, S. Creff, M.‑P. Gervais, R. Bendraou : “ATLaS: A Framework for Traceability Links Recovery Combining Information Retrieval and Semi-supervised Techniques”, 23RD IEEE INTERNATIONAL EDOC CONFERENCE - THE ENTERPRISE COMPUTING CONFERENCE, Paris, France (2019)
  • D. Raffo, R. Bendraou, L. Huang, F. Maggi : “Innovative process paradigms and data driven analytics: A new horizon for software and systems process”, Journal of Software: Evolution and Process, vol. 31 (6), Innovative process paradigms and data driven analytics: A new horizon for software and systems process, (John Wiley & Sons, Ltd.) (2019)
• 2018
  • E. EFFA BELLA, L. Wouters, M.‑P. Gervais, A. Koudri, R. Bendraou : “Semi-supervised Approach for Recovering Traceability Links in Complex Systems”, ICECCS 2018 - 23^rd International Conference on Engineering of Complex Computer Systems, Melbourne, Australia (2018)
  • S. Baarir, R. Bendraou, H. Metin, Y. Laurent : “ProVer: an SMT-based approach for process verification”, Model-Driven Engineering Verification & Validation, MoDELS Workshop, vol. 2245, MODELS Workshops, Copenhague, Denmark, pp. 555-562 (2018)
  • R. Hebig, R. Bendraou, D. Khelladi : “Reporting on a Survey on Approaches to Co-Evolution of Metamodels and Models”, Software Engineering, Berlin, Germany (2018)
• 2017
  • D. Khelladi, R. Bendraou, R. Hebig, M.‑P. Gervais : “A semi-automatic maintenance and co-evolution of OCL constraints with (meta)model evolution”, Journal of Systems and Software, vol. 134, pp. 242-260, (Elsevier) (2017)
  • D. Khelladi, R. Bendraou, R. Hebig, M.‑P. Gervais : “Coadapting multidimension process properties”, Journal of Software: Evolution and Process, vol. 29 (11), Special Issue: Process in Action: The Best Papers from The International Conference on Software and Systems Process 2016, pp. e1860, (John Wiley & Sons, Ltd.) (2017)
  • R. Hebig, D. Khelladi, R. Bendraou : “Approaches to Co-Evolution of Metamodels and Models: A Survey”, IEEE Transactions on Software Engineering, vol. 43 (5), pp. 396-414, (Institute of Electrical and Electronics Engineers) (2017)
  • F. Golra, F. Dagnat, R. Bendraou, A. Beugnard : “Continuous Process Compliance Using Model Driven Engineering”, Proceedings MEDI 2017 : 7^th International Conference on Model and Data Engineering, vol. 10563, Lecture Notes in Computer Science, Barcelone, Spain, pp. 42-56, (Springer International Publishing) (2017)
• 2016
  • D. Khelladi, R. Bendraou, M.‑P. Gervais : “AD-ROOM: a tool for automatic detection of refactorings in object-oriented models”, Proceedings of the 38^th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume, Austin, United States, pp. 617-620, (ACM) (2016)
  • D. Khelladi, R. Bendraou, R. Hebig, M.‑P. Gervais : “Supporting the co-adaption of process properties”, Proceedings of the International Conference on Software and Systems Process, Austin, TX, United States, pp. 1-5, (ACM) (2016)
  • D. Khelladi, R. Hebig, R. Bendraou, J. Robin, M.‑P. Gervais : “Detecting complex changes and refactorings during (Meta)model evolution”, Information Systems, vol. 62, Information Systems, (Elsevier) (2016)
  • D. Khelladi, R. Bendraou, M.‑P. Gervais : “SAC-OCL: A Tool for A Semi Automatic Co-evolution of OCL Constraints”, Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19^th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, pp. 40-47 (2016)
  • D. Khelladi, R. Bendraou, M.‑P. Gervais : “Towards a User-Guided Difference-Based Detection of Atomic Changes”, Engineering of Complex Computer Systems (ICECCS), 2016 21^st International Conference on, Dubai, United Arab Emirates, pp. 211-214 (2016)
  • D. Khelladi, R. Hebig, R. Bendraou, J. Robin, M.‑P. Gervais : “Metamodel and Constraints Co-evolution: A Semi Automatic Maintenance of OCL Constraints”, Proceedings on Software Reuse: Bridging with Social-Awareness - 15^th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, }, vol. 9679, Lecture Notes in Computer Science, Limassol, Cyprus, pp. 333-349, (Springer) (2016)
  • D. Pfahl, M. Kuhrmann, R. Bendraou, R. Turner : “ICSSP 2015-Special Issue Introduction”, Journal of Software: Evolution and Process, vol. 28 (9), pp. 716-721, (John Wiley & Sons, Ltd.) (2016)
• 2015
  • R. Bendraou : “Model-Driven Process Engineering for flexible yet sound process modeling, execution and verification”, habilitation, defence 12/14/2015 (2015)
  • H. Bruneliere, J. Garcia, Ph. Desfray, D. Khelladi, R. Hebig, R. Bendraou, J. Cabot : “On Lightweight Metamodel Extension to Support Modeling Tools Agility”, 11^th European Conference on Modelling Foundations and Applications (ECMFA 2015) (a STAF 2015 conference), vol. 9153, Lecture Notes in Computer Science, L'Aquila, Italy, pp. 62-74, (Springer) (2015)
  • D. Khelladi, R. Hebig, R. Bendraou, J. Robin, M.‑P. Gervais : “Detecting Complex Changes During Metamodel Evolution”, 27^th International Conference on Advanced Information Systems Engineering, vol. 9097, Lecture Notes in Computer Science, Stockholm, Sweden, pp. 263-278 (2015)
  • D. Khelladi, R. Bendraou, S. Baarir, Y. Laurent, M.‑P. Gervais : “A Framework to Formally Verify Conformance of a Software Process to a Software Method”, 30^th ACM/SIGAPP Symposium On Applied Computing SAC, Salamanca, Spain, pp. 1518-1525, (ACM) (2015)
  • R. Hebig, D. Khelladi, R. Bendraou : “Surveying the Corpus of Model Resolution Strategies for Metamodel Evolution”, Software Engineering Conference (APSEC), 2015 Asia-Pacific, New Delhi, India, pp. 135-142, (IEEE Xplore) (2015)
• 2014
  • R. Hebig, R. Bendraou, M. Völter, M. Chaudron : “Model-Driven Development Processes and Practices: Foundations and Research Perspectives”, 1^st International Workshop on Model-Driven Development Processes and Practices, Valencia, Spain, pp. 2-6, (CEUR) (2014)
  • R. Hebig, R. Bendraou : “On the Need to Study the Impact of Model Driven Engineering on Software Processes”, International Conference on Software and Systems Process (ICSSP), Nanjing, Jiangsu, China, pp. 164-168, (ACM) (2014)
  • J.‑R. Falleri, X. Blanc, R. Bendraou, M. Almeida Da Silva, C. Teyton : “Incremental inconsistency detection with low memory overhead”, Software: Practice and Experience, vol. 44 (5), pp. 621-641, (Wiley) (2014)
  • Y. Laurent, R. Bendraou, S. Baarir, M.‑P. Gervais : “Alloy4SPV : A Formal Framework for Software Process Verification”, ECMFA 2014 - 10^th European Conference on Modelling Foundations and Applications, vol. 8569, Lecture Notes in Computer Science, York, United Kingdom, pp. 83-100, (Springer) (2014)
  • Y. Laurent, R. Bendraou, S. Baarir, M.‑P. Gervais : “Formalization of fUML: An Application to Process Verification”, CAiSE 2014 - The 26^th International Conference on Advanced Information Systems Engineering, vol. 8484, Lecture Notes in Computer Science, Thessaloniki, Greece, pp. 347-363, (Springer) (2014)
  • Y. Laurent, R. Bendraou, S. Baarir, M.‑P. Gervais : “Planning for Declarative Processes”, SAC'14 - The 29^th Annual ACM Symposium on Applied Computing, Gyeongju, Korea, Republic of, pp. 1126-1133, (ACM) (2014)
• 2013
  • A. Beslic, R. Bendraou, J. Sopena, J.‑Y. Rigolet : “Towards a solution avoiding Vendor Lock-in to enable Migration Between Cloud Platforms”, MDHPCL 2013 - 2^nd International Workshop on Model-Driven Engineering for High Performance and CLoud computing, Miami, Florida, United States, pp. 5-14 (2013)
  • I. Fall, R. Bendraou, M.‑P. Gervais, X. Blanc : “Towards a Full Specification and Use of Overlap Relationships between Work Products in MDE Software Processes”, 22^nd International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2013, Hammamet, Tunisia, pp. 209-217, (IEEE) (2013)
  • Y. Laurent, R. Bendraou, M.‑P. Gervais : “Generation of Process Using Multi-Objective Genetic Algorithm”, International Conference on Software and System Process, ICSSP 2013, San Francisco, CA, United States, pp. 161-165, (ACM) (2013)
  • Y. Laurent, R. Bendraou, M.‑P. Gervais : “Executing and debugging UML models: an fUML extension”, SAC'13 - The 28^th Annual ACM Symposium on Applied Computing, Coimbra, Portugal, pp. 1095-1102, (ACM) (2013)
• 2012
  • R. Bendraou, J.‑M. Jézéquel, F. Fleurey : “Achieving Process modeling and Execution through the Combination of Aspect and Model-Driven Engineering Approaches”, Journal of Software: Evolution and Process, vol. 24 (7), pp. 765-781, (John Wiley & Sons, Ltd.) (2012)
  • R. Bendraou, M. Almeida Da Silva, M.‑P. Gervais, X. Blanc : “Support for deviation detections in the context of multi-viewpoint-based development processes”, CAiSE'12 Forum at the 24^th International Conference on Advanced Information Systems Engineering, vol. 855, Gdansk, Poland, pp. 23-31, (CEUR) (2012)
• 2011
  • M. Almeida Da Silva, X. Blanc, R. Bendraou : “Deviation Management during Process Execution”, 26^th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lawrence, Kan, United States, pp. 528-531, (ACM) (2011)
  • M. Almeida Da Silva, R. Bendraou, J. Robin, X. Blanc : “Flexible Deviation Handling during Software Process Enactment”, 15^th IEEE Workshops on International Enterprise Distributed Object Computing Conference (EDOCW), Helsinki, Finland, pp. 34-41, (IEEE) (2011)
• 2010
  • M. Almeida Da Silva, A. Mougenot, R. Bendraou, J. Robin, X. Blanc : “Artifact or Process Guidance, an Empirical Study”, MoDELS (2), vol. 6395, Lecture Notes in Computer Science, Oslo, Norway, pp. 318-330, (Springer) (2010)
  • M. Almeida Da Silva, R. Bendraou, X. Blanc, M.‑P. Gervais : “Early Deviation Detection in Modeling Activities of MDE Processes”, ACM/IEEE 13^th International Conference on Model Driven Engineering Languages and Systems, vol. 6395, Lecture Notes in Computer Science, Oslo, Norway, pp. 303-317, (Springer) (2010)
  • R. Bendraou, J.‑M. Jézéquel, M.‑P. Gervais, X. Blanc : “A Comparison of Six UML-Based Languages for Software Process Modeling”, IEEE Transactions on Software Engineering, vol. 36 (5), pp. 662-675, (Institute of Electrical and Electronics Engineers) (2010)
  • M. Almeida Da Silva, A. Mougenot, X. Blanc, R. Bendraou : “Towards Automated Inconsistency Handling in Design Models”, 22^nd International Conference on Advanced Information Systems Engineering, CAiSE 2010, vol. 6051, Lecture Notes in Computer Science, Hammamet, Tunisia, pp. 348-362, (Springer) (2010)
  • B. Staudt lerner, S. Christov, L. Osterweil, R. Bendraou, U. Kannengiesser, A. Wise : “{Exception Handling Patterns for Process Modeling}”, IEEE Transactions on Software Engineering, vol. 36 (2), pp. 162-183, (Institute of Electrical and Electronics Engineers) (2010)
• 2009
  • R. Bendraou, J.‑M. Jézéquel, F. Fleurey : “Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Simulation”, ICSP 2009 - International Conference on Software Process, vol. 5543, Lecture Notes in Computer Science, Vancouver, Canada, pp. 148-160, (Springer) (2009)
• 2008
  • R. Bendraou, Ph. Desfray, M.‑P. Gervais, A. Muller : “MDA Tool Components: A Proposal for Packaging Know-how in Model Driven Development”, Software and Systems Modeling, vol. 7 (3), pp. 329-343, (Springer Verlag) (2008)
  • R. Bendraou, M.‑P. Gervais, X. Blanc, J.‑M. Jézéquel : “Vers l’Exécutabilité des Modèles de Procédés Logiciels”, 14^e colloque international sur les Langages et Modèles à Objets (LMO'08), vol. RNTI-L-1, Revue des Nouvelles Technologies de l'Information, Montréal, Quebec, Canada, pp. 153-168, (RNTI) (2008)
• 2007
  • R. Bendraou : “UML4SPM: Un Langage de Modélisation de Procédés De Développement Logiciel Exécutable Et Orienté Modèle”, thesis, defence 09/06/2007, supervision Gervais, Marie-Pierre, co-supervision : Blanc, Xavier (2007)
  • R. Bendraou, B. Combemale, X. Crégut, M.‑P. Gervais : “Definition of an eXecutable SPEM 2.0”, 14^th Asia-Pacific Software Engineering Conference (APSEC), Nagoya, Japan, pp. 390-397, (IEEE Computer Society) (2007)
  • R. Bendraou, M.‑P. Gervais : “A Framework for Classifying and Comparing Process Technology Domains”, International Conference on Software Engineering Advances (ICSEA '07), Cap Esterel, France, pp. 5-12, (IEEE) (2007)
  • R. Bendraou, M.‑P. Gervais, A. Sadovykh : “Software Process Modeling and Execution: The UML4SPM to WS-BPEL Approach”, 33^rd EUROMICRO Conference SEAA, Lübeck, Germany, pp. 314-321, (IEEE) (2007)
• 2006
  • R. Bendraou, M.‑P. Gervais, X. Blanc : “UML4SPM: An Executable Software Process Modelling Language Providing High-Level Abstractions”, 10^th International IEEE Enterprise Distributed Object Computing Conference (EDOC '06), Hong Kong, China, pp. 297-306, (IEEE) (2006)
• 2005
  • R. Bendraou, Ph. Desfray, M.‑P. Gervais : “MDA Components: A Flexible Way for Implementing the MDA Approach”, First European European Conference on Model Driven Architecture - Foundations and Application (ECMDA-FA '05), Lecture Notes in Computer Science (LNCS), Nuremberg, Germany, pp. 59-73, (Springer-Verlag) (2005)
  • R. Bendraou, M.‑P. Gervais, X. Blanc : “UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling”, ACM/IEEE 8^th International Conference on Model Driven Engineering Languages and Systems (MoDELS '05), vol. 3713, Lecture Notes in Computer Science, Montego Bay, Jamaica, pp. 17-38, (Springer-Verlag) (2005)
• 2004
  • R. Le Delliou, N. Ploquin, M. Belaunde, R. Bendraou, L. Féraud : “A Model Driven Approach For Information System Migration”, 4^th Workshop on ODP for Enterprise Computing (EDOC), Monterey, California, United States, pp. 90-97, (IEEE Computer Society) (2004)
  • R. Bendraou, S. Bouzitouna, M.‑P. Gervais : “From MDA Platform-Specific Model to Code Generation: Coupling of RM-ODP and UML Action Semantics Standards”, International Conference on Software Engineering Research and Practice (SERP '04), Las Vegas, United States, pp. 407-416, (CSREA Press) (2004)