Modélisation de l'adaptation sémantique entre modèles de calcul

Ce travail traite de la modélisation de systèmes complexes constitués de plusieurs composants impliquant des domaines techniques différents. Il se place dans le contexte de la modélisation hétérogène hiérarchique, selon l¿approche à base de modèles de calcul. Chaque composant faisant appel à un domaine technique particulier, son comportement peut être modélisé selon un paradigme de modélisation approprié, avec une sémantique différente de celle des autres composants. La modélisation du système global, qui intègre les modèles hétérogènes de ces composants, nécessite donc une adaptation sémantique permettant l¿échange entre les divers sous-modèles. Ce travail propose une approche de modélisation de l¿adaptation sémantique où les sémantiques du temps et du contrôle sont explicitement spécifiées par le concepteur en définissant des relations sur les occurrences d¿évènements d¿une part et sur les étiquettes temporelles de ces occurrences d¿autre part. Cette approche est intégrée dans la plateforme ModHel¿X et testée sur un cas d¿étude : un modèle de lève-vitre électrique.