Vers une gestion de processus métiers de confiance avec la blockchain // Towards trustworthy business process management with blockchain

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

Public/private mixed funding

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)

Ecole d'ingénieur, Master en Informatique