
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 :
- La « programmation orientée modèles » (MOP) est la proposition d’un paradigme de programmation qui permet un couplage fort entre le code et le modèle, sans génération de code (ce qui permet d’éviter les problèmes liés au round-trip). PAMELA est un framework de modélisation écrit en Java qui suit ce paradigme. L’exécution résulte d’une composition de l’interprétation du modèle et l’exécution du code spécifique.
- L’approche « cybercontrats » est une généralisation des travaux sur la « programmation orientée modèles » (MOP) et l’ « aspect oriented programming » (AOP), appliquée au domaine de la cybersécurité.
- Ses différents travaux l’ont amené à promouvoir l’utilisation des modèles par des utilisateurs à priori non-experts de techniques de modélisation. Dans ce contexte, la « modélisation libre » (Free Modelling) se propose de d’outiller la capture d’expertise métier sous la forme de modèles, à partir des artefacts manipulés par différents experts métier. Il s’agit de co-construire un modèle et son métamodèle à partir d’exemples explicites pour les experts métier, avec la représentation qui leur est familière. Un prototype (FreeModellingEditor) a été développé sur l’infrastructure Openflexo.
- Enfin, il s’intéresse à l’Industrie 4.0 et plus particulièrement au Jumeau Numérique. Il défend l’idée du Jumeau Numérique lié à son système de référence comme un lieu d’agrégation et d’intégration de sources de données et de modèles, pour répondre à des préoccupations diverses.
Domaines de recherche
Publications
Publications
|
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⟩
Communication dans un congrès
hal-04578756
v1
|
|
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⟩
Communication dans un congrès
hal-04617492
v1
|
|
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⟩
Communication dans un congrès
hal-04721128
v1
|
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
Communication dans un congrès
hal-04045293
v1
|
|
|
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⟩
Communication dans un congrès
hal-03866297
v1
|
|
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⟩
Communication dans un congrès
hal-04240673
v1
|
|
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⟩
Communication dans un congrès
hal-02502387
v1
|
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⟩
Communication dans un congrès
hal-02958111
v1
|
|
|
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⟩
Communication dans un congrès
hal-01853610
v1
|
|
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⟩
Communication dans un congrès
hal-01487055
v1
|
|
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⟩
Communication dans un congrès
hal-01393781
v1
|
|
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⟩
Communication dans un congrès
hal-01298547
v1
|
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
Communication dans un congrès
hal-01015893
v1
|
|
Conceptual interoperability through Models FederationSemantic Information Federation Community Workshop, Oct 2013, Miami, United States
Communication dans un congrès
hal-00905036
v1
|
|
Compiler and system techniques for SOC distributed reconfigurable accelerators2004, pp.293-302
Communication dans un congrès
hal-00083035
v1
|
|
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⟩
Thèse
tel-04555528
v1
|
Multi-Level Modeling with Openflexo/FMLEnterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩
Article dans une revue
hal-03692372
v1
|
|
|
PAMELA: an annotation-based Java Modeling FrameworkScience of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
Article dans une revue
hal-03217126
v1
|
|
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⟩
Article dans une revue
hal-01164480
v1
|
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
Article dans une revue
hal-00904995
v1
|