Vers une gestion de processus métiers de confiance avec la blockchain // Towards trustworthy business process management with blockchain
ABG-124931 | Sujet de Thèse | |
04/07/2024 | Financement public/privé |
CEA IP. Paris Lab.systèmes d’information de confiance, intelligents et auto-organisants
Saclay
Vers une gestion de processus métiers de confiance avec la blockchain // Towards trustworthy business process management with blockchain
- Informatique
Informatique et logiciels / Sciences pour l’ingénieur
Description du sujet
La blockchain et les registres distribués sont des technologies prometteuses pour la gestion des processus métiers inter-organisationnels, en particulier parmi des participants qui ne se font pas confiance. Fonctionnant de manière décentralisée et distribuée, elles éliminent le besoin d'une autorité centrale, permettant des interactions sécurisées et efficaces.
Le déploiement d'architectures basées sur la blockchain repose sur des composants spécifiques tels que les smart contracts, ainsi que des services externes comme les services de stockage de données basés sur le cloud ou l'appel à des services web grâce à des oracles. Cet écosystème requiert une expertise approfondie pour définir et mettre en œuvre les besoins en termes de confiance et de traçabilité.
L'objectif de cette thèse est de développer un outil d'aide à la conception d'applications de gestion de processus métiers de confiance. Une approche no-code/low-code permettra de spécifier et de générer l'architecture basée sur la blockchain correspondante. L'utilisation des modèles de langage de grande taille (LLMs) en soutien au model-based engineering sera envisagée. Les architectures générées viseront à exploiter la blockchain de manière frugale, minimisant ainsi la consommation énergétique globale. De plus, la fiabilité des smart contracts sera assurée grâce à des approches de vérification formelle.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Blockchain and distributed ledgers are promising technologies for managing inter-organizational business processes, particularly among participants who do not trust each other. Operating in a decentralized and distributed manner, they eliminate the need for a central authority, enabling secure and efficient interactions.
The deployment of blockchain-based architectures relies on specific components such as smart contracts, as well as external services like cloud-based data storage and web services called through oracles. This ecosystem requires deep expertise to define and implement needs related to trust and traceability.
The objective of this thesis is to develop a tool to aid in designing trustworthy business process management applications. A no-code/low-code approach will enable the specification and generation of the corresponding blockchain-based architecture. The use of large language models (LLMs) to support model-based engineering will be considered. The generated architectures will aim to leverage blockchain in a frugal manner, thus minimizing overall energy consumption. Additionally, the reliability of the generated smart contracts will be ensured through formal verification approaches.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Pôle fr : Direction de la Recherche Technologique
Pôle en : Technological Research
Département : Département Ingénierie Logiciels et Systèmes (LIST)
Service : LICIA (DILS)
Laboratoire : Lab.systèmes d’information de confiance, intelligents et auto-organisants
Date de début souhaitée : 01-10-2024
Ecole doctorale : Ecole Doctorale de l’Institut Polytechnique de Paris (IP Paris)
Directeur de thèse : Gaaloul Walid
Organisme : Telecom Sud Paris, IP Paris
Le déploiement d'architectures basées sur la blockchain repose sur des composants spécifiques tels que les smart contracts, ainsi que des services externes comme les services de stockage de données basés sur le cloud ou l'appel à des services web grâce à des oracles. Cet écosystème requiert une expertise approfondie pour définir et mettre en œuvre les besoins en termes de confiance et de traçabilité.
L'objectif de cette thèse est de développer un outil d'aide à la conception d'applications de gestion de processus métiers de confiance. Une approche no-code/low-code permettra de spécifier et de générer l'architecture basée sur la blockchain correspondante. L'utilisation des modèles de langage de grande taille (LLMs) en soutien au model-based engineering sera envisagée. Les architectures générées viseront à exploiter la blockchain de manière frugale, minimisant ainsi la consommation énergétique globale. De plus, la fiabilité des smart contracts sera assurée grâce à des approches de vérification formelle.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Blockchain and distributed ledgers are promising technologies for managing inter-organizational business processes, particularly among participants who do not trust each other. Operating in a decentralized and distributed manner, they eliminate the need for a central authority, enabling secure and efficient interactions.
The deployment of blockchain-based architectures relies on specific components such as smart contracts, as well as external services like cloud-based data storage and web services called through oracles. This ecosystem requires deep expertise to define and implement needs related to trust and traceability.
The objective of this thesis is to develop a tool to aid in designing trustworthy business process management applications. A no-code/low-code approach will enable the specification and generation of the corresponding blockchain-based architecture. The use of large language models (LLMs) to support model-based engineering will be considered. The generated architectures will aim to leverage blockchain in a frugal manner, thus minimizing overall energy consumption. Additionally, the reliability of the generated smart contracts will be ensured through formal verification approaches.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Pôle fr : Direction de la Recherche Technologique
Pôle en : Technological Research
Département : Département Ingénierie Logiciels et Systèmes (LIST)
Service : LICIA (DILS)
Laboratoire : Lab.systèmes d’information de confiance, intelligents et auto-organisants
Date de début souhaitée : 01-10-2024
Ecole doctorale : Ecole Doctorale de l’Institut Polytechnique de Paris (IP Paris)
Directeur de thèse : Gaaloul Walid
Organisme : Telecom Sud Paris, IP Paris
Nature du financement
Financement public/privé
Précisions sur le financement
Présentation établissement et labo d'accueil
CEA IP. Paris Lab.systèmes d’information de confiance, intelligents et auto-organisants
Pôle fr : Direction de la Recherche Technologique
Pôle en : Technological Research
Département : Département Ingénierie Logiciels et Systèmes (LIST)
Service : LICIA (DILS)
Profil du candidat
Ecole d'ingénieur, Master en Informatique
Postuler
Fermer
Vous avez déjà un compte ?
Nouvel utilisateur ?
Besoin d'informations sur l'ABG ?
Vous souhaitez recevoir nos infolettres ?
Découvrez nos adhérents
- MabDesign
- Tecknowmetrix
- Nokia Bell Labs France
- ONERA - The French Aerospace Lab
- Ifremer
- Institut Sup'biotech de Paris
- SUEZ
- CESI
- TotalEnergies
- ADEME
- CASDEN
- Laboratoire National de Métrologie et d'Essais - LNE
- Institut de Radioprotection et de Sureté Nucléaire - IRSN - Siège
- PhDOOC
- ANRT
- Aérocentre, Pôle d'excellence régional
- MabDesign
- Généthon
- Groupe AFNOR - Association française de normalisation
-
EmploiCDDRef. ABG125071KTHStockholm - Suède
ERC-funded postdoc position on the detection of gas-phase organic radicals, KTH, Stockholm, Sweden
Chimie - Physique - Sciences de l’ingénieurNiveau d'expérience indifférent -
EmploiCDIRef. ABG123642Laboratoire des Courses Hippiques (GIE LCH)Verrières-le-Buisson - Ile-de-France - France
Chargé(e) de Recherche et Innovation (H/F) / Senior Scientist Research & Innovation (M/F)
Chimie - BiochimieConfirmé -
EmploiCDIRef. ABG124941Corteria PharmaceuticalsMassy-Palaiseau - Ile-de-France - France
Jeune Docteur, Chercheur en Biologie Cellulaire & Moléculaire (H/F)
BiologieNiveau d'expérience indifférent