BUI Thi-Mai-Anh
Direction de recherche : Mikal ZIANE
Co-encadrement : STINCKWICH Serge, ROCHE Benjamin
Séparation des Préoccupations en Épidémiologie
La modélisation mathématique est largement utilisée pour effectuer des recherches sur la modélisation des maladies infectieuses. Combler le fossé entre les modèles conceptuels et leurs simulations est l'un des problèmes de la modélisation. Les langages métiers sont souvent utilisés pour addresser ces problèmes en séparant deux aspects de la modélisation : la spécification (modèles conceptuels) et la simulation (modèles informatiques). Dans cette perspective, nous développons un langage métier, appelé KENDRICK, dédié à la modélisation épidémiologique, couplé avec une plate-forme de simulation. Un autre problème de la modélisation en épidémiologie est le mélange des aspects de domaine qui doivent être séparés. Afin de faciliter l'écriture et l'évolution des modèles, il est crucial de pouvoir définir une préoccupation avec aussi peu de dépendances avec d'autres que possible et de pouvoir les combiner aussi librement que possible. Nous abordons ces défis en proposant un méta-modèle mathématique commun qui peut représenter les modèles ainsi que les préoccupations. Nous définissons ensuite les opérateurs qui permettent de combiner des préoccupations ainsi que de les appliquer dans un modèle. Le langage KENDRICK simplifie donc la programmation des simulations épidémiologiques en décomposant un modèle monolithique hautement-couplé en préoccupations modulaires. Cela rend alors plus facile la construction des modèles complexes de l'épidémiologie où plusieurs préoccupations sont considérées en même temps.
Soutenance : 09/12/2016
Membres du jury :
M. Mireille Blay-Fornarino, Université de Nice - Sophia Antipolis [Rapporteur]
M. Eric Ramat, Université du Littoral Côte d'Opale [Rapporteur]
M. Bernard Cazelles, Université Pierre et Marie Curie
Mme. Laurence Duchien, Université Lille 1
M. Sébastien Mosser, Université de Nice
M. Benjamin Roche, IRD
M. Serge Stinckwich, Université Caen Normandie
M. Mikal Ziane, Université Paris Descartes
Publications 2015-2022
-
2022
- A. Yvan Guifo Fodjo, M. Ziane, S. Stinckwich, Th. Bui, S. Bowong : “Separation of Concerns in Extended EpidemiologicalCompartmental Models”, 15th International Joint Conference on Biomedical Engineering Systems and Technologies, vol. 3, Online Streaming, Austria, pp. 152-159, (SCITEPRESS - Science and Technology Publications) (2022)
-
2019
- Th. Bui, N. Papoulias, S. Stinckwich, M. Ziane, B. Roche : “The Kendrick modelling platform: language abstractions and tools for epidemiology”, BMC Bioinformatics, vol. 20 (1), pp. 312, (BioMed Central) (2019)
-
2016
- Th. Bui : “Séparation des Préoccupations en Épidémiologie”, soutenance de thèse, soutenance 09/12/2016, direction de recherche Ziane, Mikal, co-encadrement : Stinckwich, Serge, Roche, Benjamin (2016)
- Th. Bui, N. Papoulias, M. Ziane, S. Stinckwich : “Explicit Composition Constructs in DSLs - The case of the epidemiological language Kendrick”, IWST'16 - 11th International Workshop on Smalltalk Technologies, Prague, Czechia, pp. 20:1-20:11, (ACM) (2016)
- Th. Bui, M. Ziane, S. Stinckwich, T. Ho, B. Roche, N. Papoulias : “Separation of Concerns in Epidemiological Modelling”, MODULARITY Companion 2016 Companion Proceedings of the 15th International Conference on Modularity, Malaga, Spain, pp. 196-200 (2016)
-
2015
- Th. Bui, S. Stinckwich, M. Ziane, B. Roche, T. Ho : “KENDRICK: a Domain Specific Language and Platform for Mathematical Epidemiological Modelling”, 2015 IEEE RIVF International Conference on Computing & Communication Technologies - Research, Innovation, and Vision for the Future (RIVF), Can Tho, Viet Nam, pp. 132-137 (2015)