BUI Thi-Mai-Anh
Supervision : Mikal ZIANE
Co-supervision : STINCKWICH Serge, ROCHE Benjamin
Separation of Concerns in Epidemiology
Mathematical and computational models have become widely used and demanded tools for examining mechanisms of transmission, exploring characteristics of epidemics, predicting future courses of an outbreak and evaluating strategies to find a best control-program. One of the problems of modelling is bridging the gap between conceptual models (i.e compartmental models of epidemiology) and their computer simulation (through deterministic, stochastic or agent-based implementation). Domain Specific Languages (DSLs) are often used to address such difficulties by separating two concerns of modelling, specification (conceptual model) and implementation (computational model). In this perspective, we develop a DSL called KENDRICK targeted to the epidemiological modelling and coupled with a simulation platform that allows the study of such models. The other important issue needs to be addressed in the context of epidemiological modelling is the heterogeneities introduced by separate concerns. In order to facilitate the specification of models and their evolution, it is crucial to be able to define concerns with as few dependencies with each other as possible and to combine them as freely as possible. We address such challenges by proposing a common mathematical meta-model that supports both concerns and models and enabling their compositions by some operators. We then implement our proposal language KENDRICK based on this meta-model. The language simplifies the construction of complex epidemiological models by decomposing them into modular concerns, by which common concerns can be reused across models and can be easily changed.
Defence : 12/09/2016
Jury members :
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
2015-2022 Publications
-
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”, thesis, phd defence 12/09/2016, supervision Ziane, Mikal, co-supervision : 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)