Sylvain Guérin
Présentation
Sylvain Guérin est maître de conférences en génie logiciel au sein du département informatique de l’IMT Atlantique site de Brest. Il fait partie de l’équipe P4S (Processes for Safe and Secure Software and Systems) du Lab-STICC (UMR 6285). Après une carrière dans l’industrie, il a soutenu en 2023 une thèse intitulée « FML : un langage de fédération de modèles pour l’interopérabilité sémantique de sources d’informations hétérogènes ». Son domaine de recherche et d’enseignement concerne le génie logiciel, et plus particulièrement la modélisation et l’ingénierie dirigée par les modèles (IDM). Il s’intéresse plus particulièrement à la problématique de gérer en cohérence de multiples préoccupations métier, qui ont chacune leur autonomie et leur propre cycle de vie, avec leurs propres outils et artefacts. Ceci pose le problème de l’hétérogénéité des sources d’information, de leur ré-interprétation, et de la gestion de leur consistance. Dans ce contexte, l’approche "fédération de modèles" se propose de réifier explicitement les liens entre les modèles fédérés, et de leur associer un comportement. Cette approche s’appuie sur un langage de modélisation appelé FML, qui est à la fois un langage permettant la conceptualisation et la réification de l'interprétation, mais qui est également doté d'un mécanisme de désignation qui permet l'établissement de liens de fédération vers des sources de données hétérogènes. Il est le contributeur principal de l’infrastructure logicielle Openflexo, qui est une implantation de cette solution. Ses différents travaux l’ont amené à promouvoir la modélisation dans différents contextes :
Domaines de recherche
Publications
Publications
|
|
The Design Multiverse: A Scientific Model for Design Evolution and Co-evolutionInternational Conference on Software Engineering, NIER Track, Apr 2026, Rio de Janeiro (Brazil), France. ⟨10.1145/3786582.3786830⟩ |
|
|
Security Contracts a Property-Based Approach to Support Security Patterns10th International Conference on Information Systems Security and Privacy, Feb 2024, Rome, France. pp.103-111, ⟨10.5220/0012305600003648⟩ |
|
|
10 years of Model Federation with Openflexo: Challenges and Lessons LearnedMODELS 2024: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Sep 2024, Linz, Austria. pp.12, ⟨10.1145/3640310.3674084⟩ |
|
|
A Survey of Federative Approaches for Model Management in MBSE1st International Workshop on Model Management (MoM) at MODELS 2024, Sep 2024, Linz (AUSTRIA), Austria. ⟨10.1145/3652620.3688221⟩ |
A flexible and robust framework for the secure systems engineering of space missions17th International Conference on Space Operations 2023, Mar 2023, Dubai, United Arab Emirates |
|
|
|
Security Analysis: From model to system analysisCRiSiS 2022: 17th International Conference on Risks and Security of Internet and Systems, Dec 2022, Sousse, Tunisia. pp.133-152, ⟨10.1007/978-3-031-31108-6_11⟩ |
|
|
Monitoring Association Constraints in Model-Oriented ProgrammingMODELS-C 2023: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, Oct 2023, Vasteras, Sweden. ⟨10.1109/MODELS-C59198.2023.00068⟩ |
|
|
A Domain-specific Modeling Framework for Attack Surface ModelingICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩ |
Contract-based design patterns: a design by contract approach to specify security patterns15th International Conference on Availibitlity, Reliability ans Security, ARES 2020, Association for Computing Machinery (ACM), Aug 2020, Virtual Event, Ireland. pp.1-9, ⟨10.1145/3407023.3409185⟩ |
|
|
|
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation16th International Conference on Software Engineering and Formal Methods (SEFM 2018), Jun 2018, Toulouse, France. pp.54-69, ⟨10.1007/978-3-319-92970-5_4⟩ |
|
|
Continuous Requirements Engineering Using Model FederationRE 2016 : 24th IEEE International Requirements Engineering Conference, Sep 2016, Beijing, China. pp.347 - 352, ⟨10.1109/RE.2016.42⟩ |
|
|
Using free modeling as an Agile method for developing domain specific modeling languagesMODELS 2016 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Oct 2016, Saint Malo, France. pp.24 - 34, ⟨10.1145/2976767.2976807⟩ |
|
|
Addressing Modularity for Heterogeneous Multi-model Systems using Model FederationMODULARITY 2016 : 15th International Conference on Modularity, Mar 2016, Malaga, Spain. pp.206 - 211, ⟨10.1145/2892664.2892701⟩ |
Des situations de modélisation pour évaluer les outils de modélisationINFORSID 2014 : 32ème congrès de l'INFormatique des ORganisations et Systèmes d'Information et de Décision, May 2014, Lyon, France. pp.181-196 |
|
Conceptual interoperability through Models FederationSemantic Information Federation Community Workshop, Oct 2013, Miami, United States |
|
Compiler and system techniques for SOC distributed reconfigurable accelerators2004, pp.293-302 |
|
|
Défi du GDR GPL ADaptation DYnamique et ConTinue ADDYCT2025 |
|
|
FML : un langage de fédération de modèles pour l’interopérabilité sémantique de sources d’information hétérogènesGénie logiciel [cs.SE]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2023. Français. ⟨NNT : 2023ENTA0009⟩ |
Multi-Level Modeling with Openflexo/FMLEnterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩ |
|
|
|
PAMELA: an annotation-based Java Modeling FrameworkScience of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩ |
|
|
Des situations de modélisation pour décrire un processus de modélisationRevue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2015, 20 (2), pp.41 - 66. ⟨10.3166/ISI.20.2.41-66⟩ |
De la nécessité de fédérer des modèles dans une chaîne d'outilsGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.18-23 |