UNIVERSITÉ NATIONALE DU VIETNAM À HANOÏ INSTITUT FRANCOPHONE INTERNATIONAL BOUYO Madaliou OPTIMISATION DE LA TRAÇABILITÉ DANS L’INDUSTRIE FROMAGÈRE PAR LA BLOCK- CHAIN : GÉNÉRATION AUTOMATIQUE DE CONTRATS INTELLIGENTS À PARTIR DE PROCESSUS BPMN TỐI ƯU HÓA TÍNH TRA CỨU TRONG NGÀNH SẢN XUẤT PHÔ-MÁT THÔNG QUA BLOCKCHAIN : TỰ ĐỘNG TẠO HỢP ĐỒNG THÔNG MINH TỪ QUY TRÌNH BPMN Spécialité : Systèmes Intelligents et Multimédia Code : 8480201.02 MÉMOIRE DE FIN D’ÉTUDES DE MASTER EN INFORMATIQUE HANOÏ-2023 UNIVERSITÉ NATIONALE DU VIETNAM À HANOÏ INSTITUT FRANCOPHONE INTERNATIONAL BOUYO Madaliou OPTIMISATION DE LA TRAÇABILITÉ DANS L’INDUSTRIE FROMAGÈRE PAR LA BLOCK- CHAIN : GÉNÉRATION AUTOMATIQUE DE CONTRATS INTELLIGENTS À PARTIR DE PROCESSUS BPMN TỐI ƯU HÓA TÍNH TRA CỨU TRONG NGÀNH SẢN XUẤT PHÔ-MÁT THÔNG QUA BLOCKCHAIN : TỰ ĐỘNG TẠO HỢP ĐỒNG THÔNG MINH TỪ QUY TRÌNH BPMN Spécialité : Systèmes Intelligents et Multimédia Code : 8480201.02 MÉMOIRE DE FIN D’ÉTUDES DE MASTER EN INFORMATIQUE Sous la direction de : ATTESTATION SUR L’HONNEUR J’atteste sur l’honneur que ce mémoire a été réalisé par moi-même et que les données et les résultats qui y sont présentés sont exacts et n’ont jamais été publiés ailleurs. La source des informations citées dans ce mémoire a été bien précisée. LỜI CAM ĐOAN Tôi cam đoan đây là công trình nghiên cứu của riêng tôi. Các số liệu, kết quả nêu trong Luận văn là trung thực và chưa từng được ai công bố trong bất kỳ công trình nào khác.
Các thông tin trích dẫn trong Luận văn đã được chỉ rõ nguồn gốc. Signature de l’étudiant BOUYO Madaliou BOUYO Madaliou OPTIMISATION DE LA TRAÇABILITÉ DANS L’INDUSTRIE FROMAGÈRE PAR LA BLOCK- CHAIN : GÉNÉRATION AUTOMATIQUE DE CONTRATS INTELLIGENTS À PARTIR DE PROCESSUS BPMN TỐI ƯU HÓA TRUY XUẤT NGUỒN GỐC TRONG NGÀNH CÔNG NGHIỆP PHÔ MAI : BẰNG BLOCKCHAIN TỰ ĐỘNG TẠO HỢP ĐỒNG THÔNG MINH TỪ QUY TRÌNH BPMN Spécialité : Systèmes Intelligents et Multimédia Code : 8480201.02 MÉMOIRE DE FIN D’ÉTUDES DE MASTER EN INFORMATIQUE Sous la direction de : REMERCIEMENTS Pour les efforts consentis dans la réalisation de ce mémoire, j’exprime mes très vives reconnaissances à l’endroit de: • Fabien CHHEL responsable de l’équipe ERIS pour son encadrement, son accompa- gnement moral et ses conseils durant ce stage. • Mickaël CLAVREUL, également pour son soutien total tout au long de ce stage. • Olivier CAMP, pour son encouragement qu’il n’a cessé de renouveler tout au long de ce stage.
• Ho Tuong Vinh pour son apport moral par rapport au déroulement de ce stage. Je ne saurai rediger ce mémoire sans remercier mon très cher institut de formation, l’Institut Francophone International (IFI), l’Université Nationale du Vietnam à Hanoi. Cette école n’a cessé de nous prodiguer une formation adéquate et le corps professoral n’a menagé aucun effort pour que nous sortions de notre formation avec un bagage intellectuel nous permettant de competir sur le plan international. Ce master de recherche a été une période exigeante et riche en apprentissages, durant laquelle j’ai consacré tous mes efforts pour surmonter les défis rencontrés.
Je tiens à exprimer ma profonde gratitude envers ma mère et mon oncle, qui ont été des piliers de soutien moral et financier. Leur encouragement constant a été d’une valeur inestimable, surtout dans les moments difficiles de mon parcours. Je dédie également une pensée particulière à la mémoire de mon oncle, dont la sagesse et la force continuent d’inspirer ma persévérance. Son influence sur ma vie et mes études perdure bien au-delà de son absence physique.
Résumé Ce mémoire de master explore l’application de la technologie blockchain à l’automatisa- tion de la génération de contrats intelligents pour la traçabilité dans l’industrie fromagère. Adoptant une méthodologie robuste qui intègre la Modélisation des Processus d’Affaires et la Notation (Business Process Model Notation (BPMN) ) avec l’outil Caterpillar, l’étude démontre comment l’intégration de systèmes intelligents et communicants peut améliorer de manière significative la précision et l’efficacité de la traçabilité des produits alimen- taires. Le projet met en évidence une efficacité opérationnelle accrue et une réduction des erreurs de traçabilité grâce à la génération automatique de contrats intelligents, confir- mant ainsi les hypothèses initiales et atteignant les objectifs de recherche. La contribution au domaine est considérable, offrant des implications importantes pour les praticiens en ouvrant la voie à une transparence accrue et une confiance renforcée des consommateurs, et pour la communauté scientifique en approfondissant la compréhension de l’application pratique de l’Ingénierie Dirigée par les modèles (IDM) et de la blockchain dans le sec- teur agroalimentaire.
Les défis techniques liés à la spécificité de la transformation ad hoc et la nécessité de compétences spécialisées en génie logiciel sont reconnus. Les résultats appellent à une formation continue et à une attention portée à l’évolution rapide des tech- nologies blockchain pour maintenir la pertinence et l’efficacité des systèmes de traçabilité. Des recommandations pratiques sont proposées pour l’implémentation des résultats dans la pratique professionnelle et pour l’amélioration des politiques industrielles. Des perspec- tives de recherche futures sont identifiées, soulignant la nécessité d’élargir l’application de l’IDM à d’autres langages de contrats intelligents et d’étudier l’impact à long terme de la blockchain sur la traçabilité des produits alimentaires.
En conclusion, cette recherche apporte une contribution significative à la littérature sur la blockchain et ouvre de nou- velles voies pour l’innovation technologique dans l’assurance de la qualité alimentaire. Elle réaffirme le rôle essentiel de l’adaptabilité et de l’évolutivité dans le développement de solutions technologiques durables et réactives aux besoins de l’industrie fromagère et au-delà. Mots Clés : Technologie Blockchain, Automatisation des Contrats Intelligents, Traçabilité dans l’Industrie Fromagère, BPMN, Moteur d’Exécution Caterpillar, Ingénierie Dirigée par les Modèles (IDM), Assurance Qualité Alimentaire, Blockchain Ethereum, Gestion de la Chaîne d’Approvisionnement, Langage de Programmation Solidity, Sécurité Alimen- taire et Conformité, Innovation Technologique dans l’Agroalimentaire, Développement de Contrats Intelligents, Optimisation des Processus de Production Alimentaire Abstract This master’s thesis investigates the application of blockchain technology in automat- ing smart contract generation for traceability within the cheese industry. Employing a robust methodology that integrates Business Process Model and Notation (BPMN ) with the Caterpillar tool, the study showcases how the incorporation of intelligent and com- municative systems can significantly enhance the accuracy and efficiency of food product traceability.
The project highlights increased operational efficiency and reduced traceability errors through automated smart contract generation, thereby confirming the initial hypotheses and achieving the research objectives. The contribution to the field is substantial, offering significant implications for practitioners by paving the way towards greater transparency and enhanced consumer trust, and for the scholarly community by extending the under- standing of the practical application of Model-Driven Engineering (MDE) and blockchain in the agri-food sector. Technical challenges related to the ad-hoc transformation specificity and the need for specialized software engineering skills are acknowledged. The findings call for ongoing training and attentiveness to the rapid evolution of blockchain technologies to maintain the relevance and effectiveness of traceability systems.
Practical recommendations are provided for implementing the results in professional practice and for improving industrial policies. Future research avenues are identified, highlighting the need to broaden the application of Model-Driven Engineering (MDE) to other smart contract languages and to study the long-term impact of blockchain on food product traceability. In conclusion, this research makes a significant contribution to the literature on blockchain and opens new paths for technological innovation in food quality assurance. It reaffirms the essential role of adaptability and scalability in developing sustainable and responsive technological solutions to the needs of the cheese industry and beyond.
Keywords: Blockchain Technology, Smart Contract Automation Cheese Industry Trace- ability, Business Process Model and Notation(BPMN ), Caterpillar Execution Engine, Model-Driven Engineering (MDE), Food Quality Assurance, Ethereum Blockchain, Sup- ply Chain Management, Solidity Programming Language, Agri-food Technological Inno- vation, Distributed Ledger Technology, Smart Contract Development, Food Production Process Optimization. Table des matières 1 Analyse du sujet 1 1.1 Application dans le Secteur du Fromage .3 Problématique et objectifs. 3 2 État de l’art 5 2.2 Ingénierie Dirigée par les Modèles (IDM) et Blockchain .3 BPMN et Modélisation des Processus d’Affaires .4 Hazard Analysis Critical Control Point (HACCP) et Sécurité Alimentaire par la Blockchain .5 Sécurité et Conformité dans les Applications Blockchain. 9 3 Méthodologie de recherche 11 3.1 Introduction à la Méthodologie .1 Modélisation des Processus avec BPMN .2 Application de BPMN à la Production Fromagère : .2 Conversion en Smart Contracts avec Caterpillar .1 Introduction et avantages de Caterpillar .2 Processus de Conversion et Déploiement des Smart Contracts .3 Mise en Place de la Blockchain Ethereum .1 Configuration de l’Environnement Blockchain .2 Déploiement des Smart Contracts .4 Intégration et Test .1 Intégration des Composants .2 Stratégie de Test .5 Résumé du Chapitre.
15 4 Étude de Cas - Traçabilité dans l’Industrie Fromagère Utilisant la Blockchain 16 4.1 Introduction à l’Étude de Cas .2 Description du Processus de Fabrication du Fromage .4 Utilisation de Caterpillar : .2 Définition et Fonctionnalités .3 Description détaillée de Caterpillar .5 Application à la fabrication du fromage .1 Documentation détaillée de Caterpillar .2 Sécurisation des Données : .6 Conclusion de l’Étude de Cas. 39 5 Analyse et Discussion 41 5.1 Analyse de l’Étude de Cas .3 Améliorations apportées par nos travaux .1 Avantages liés à l’adoption de Caterpillar .2 Réflexion sur l’adoption de Caterpillar. 43 6 Résultats et Analyse 47 6.1 Présentation des Données .2 Analyse des Résultats .1 Automatisation des Smart Contracts .2 Impact sur la Conformité et la Qualité .3 Défis et Considérations Futurs .4 Conclusion de l’Analyse .3 Discussion sur l’Intégration de Caterpillar et l’IDM .1 Contexte et Limitations de Caterpillar .2 Importance de l’IDM .3 Extension avec un Méta-Modèle Solidity .4 Défis de Modélisation .4 Réponse aux Questions de Recherche .5 Validation des Hypothèses. 52 7 Conclusion et Perspectives 53 7.1 Synthèse des Travaux Réalisés .2 Implications et Portée de l’Étude .3 Limitations et Points de Vigilance .5 Perspectives de Recherche.
56 i Table des figures 1.1 Illustration de la fabrication du fromage .1 BPMN pour la fabrication du fromage .2 Extrait XML de notre modèle pour le fromage .4 Architecture de Caterpillar López-Pintado et al.5 Compilateur BPMN López-Pintado et al.6 Processus d’instanciation de Caterpillar López-Pintado et al.7 Présentation du dashboard de Caterpillar version 2.8 Description de la documentaion de la tâche Control point .9 Validation des tâches .10 Logo de Ganache [2022] .11 Logo de MongoDB .12 Logo de NodeJS .13 Logo de Angular .14 Logo de Camunda .15 Démarrage du backend .16 Démarrage du frontend .17 Règles de gestion des rôles .18 Resultat deploiementd’un contrat généré .19 Chargement du modèle dans notre système .21 Validation point de controle .22 Fin de processus .23 Requête sur la blockchain pour la vérification des données entrées. 39 ii Liste des tableaux 5.1 Critères de satisfaction dans la chaîne agroalimentaire pour la production du fromage - Comparaison sans et avec l’utilisation de la blockchain .2 Comparaison du travail sans et avec la génération automatique des contrats intelligents .3 Comparaison des caractéristiques entre Ethereum, Hyperledger Fabric et VeChain. 46 iii Acronymes API REST Application Programming Interface Representational State Transfer. 20–22 BOS Blockchain Oriented Software.
9, 10 BPMN Business Process Model Notation. ii, 1–3, 6, 7, 11, 12, 14, 16–23, 28, 30–34, 36, 41, 43, 46 DApps Decentralized Applications. 13, 46 HACCP Hazard Analysis Critical Control Point. 1, 7–9, 16, 42 IDM Ingénierie Dirigée par les modèles.
1, 5, 6, 54, 56 IoT Internet of Things. 7, 8, 10 MDE Model-Driven Engineering. 1 MDE4BBIS Model-Driven Engineering for Blockchain-Based Systems. 5, 6 RFID Radio Frequency Identification.
8 SIBB Système d’Information Basé sur la Blockchain. 5, 6 iv Chapitre 1 Analyse du sujet 1.1 Introduction L’industrie agroalimentaire, un secteur vital pour l’économie mondiale, est aujourd’hui confrontée à des défis sans précédent en matière de sécurité alimentaire, de qualité des produits, et de conformité réglementaire. Au cœur de ces enjeux se trouve la nécessité d’une traçabilité efficace et fiable, permettant de suivre chaque produit de sa source à sa consommation.