IUT2 Grenoble
Adresse : 2 place Doyen Gosse, 38000 Grenoble
Inscriptions au lien suivant:
https://framadate.org/Hbcxcu2ARNLWJHjS
de préférence avant le 7 novembre 2025
Exposé invité: Gwen Salaün (Université Grenoble Alpes).
"Modelling, Runtime Analysis and Optimization of Business Processes".
Résumé:
A business process is defined as a set of tasks executed in a certain order to achieve a specific goal. BPMN has become the standard modelling language for describing and developing business processes. One of the main challenges in the business process management area is to provide techniques and tools for analyzing and optimizing processes, which is necessary for avoiding unexpected process executions or for making these executions more efficient in terms of execution times or resource usage. In this talk, we will present several results in this context, namely (i) the automated generation of BPMN processes from textual descriptions using LLM, (ii) the formal verification of functional and quantitative properties on BPMN processes, and (iii) the optimization of processes via resource allocation or process refactoring.
TBA
Les animateurs du groupe MTV2 : Nikolai Kosmatov, Natalia Kushik, Pascale Le Gall, Antoine Rollet
Les organisateurs locaux : Yves Ledru, Sophie Dupuy-Chessa, Nicolas Hili, Yann Laurillau, Lydie du Bousquet, Gabriela Gonzalez-Saez