Skip to Main content Skip to Navigation
Theses

Composition de modèles pour la modélisation multi-paradigme du comportement des systèmes

Résumé : Dans le contexte de l'Ingénierie Dirigée par les Modèles, l'utilisation de multiples paradigmes de modélisation pour développer un système complexe est à la fois inévitable et essentielle. Les modèles qui représentent un tel système sont donc hétérogènes, ce qui rend tout raisonnement global sur le système difficile. L'objectif de la modélisation multi-paradigme est de faciliter l'utilisation conjointe de modèles hétérogènes pendant le cycle de développement. Les travaux exposés dans cette thèse concernent l'étude de l'hétérogénéité des modèles et la conception d'une approche pour la modélisation multi-paradigme des systèmes. Nous caractérisons les causes de l'hétérogénéité des modèles par rapport au cycle de développement puis identifions différents types d'hétérogénéité. En nous basant sur ces causes d'hétérogénéité, nous proposons un cadre d'étude pour le domaine de la modélisation multi-paradigme avec différents axes de recherche. La multidisciplinarité de la modélisation multi-paradigme rend applicables des techniques issues de différents domaines. Nous proposons un état de l'art et une classification des techniques dont nous avons étudié la pertinence par rapport à l'hétérogénéité. La gamme des techniques présentées inclut les transformations de modèles, la composition de méta-modèles, la composition de modèles, l'adaptation de composants, la co-simulation ou encore les méga-modèles. Nous présentons ensuite ModHel'X, l'approche de composition de modèles pour la modélisation multi-paradigme que nous avons développée. Elle s'appuie sur le concept de modèle de calcul et permet : 1. de spécifier la sémantique d'un langage de modélisation de manière exécutable à travers la spécialisation opérationnelle d'une sémantique abstraite pour les modèles de calcul ; 2. de spécifier explicitement les mécanismes de composition à utiliser entre des modèles hétérogènes via une structure de modélisation appelée bloc d'interface ; 3. de simuler le comportement global de modèles hétérogènes par un algorithme générique d'exécution que nous avons défini. Une implémentation de ModHel'X a été réalisée sous la forme d'un framework s'appuyant sur EMF (Eclipse Modeling Framework).
Complete list of metadatas

Cited literature [120 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00421328
Contributor : Evelyne Faivre <>
Submitted on : Thursday, October 1, 2009 - 4:28:18 PM
Last modification on : Tuesday, June 30, 2020 - 4:04:07 PM
Document(s) archivé(s) le : Tuesday, October 16, 2012 - 11:40:53 AM

Identifiers

  • HAL Id : tel-00421328, version 1

Collections

Citation

Cécile Hardebolle. Composition de modèles pour la modélisation multi-paradigme du comportement des systèmes. Génie logiciel [cs.SE]. Université Paris Sud - Paris XI, 2008. Français. ⟨tel-00421328⟩

Share

Metrics

Record views

525

Files downloads

38327