Explicit modeling of the semantic adaptation between models of computation

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

Ayman Dogui (1)

1 E3S - Supélec Sciences des Systèmes

This work takes place in the context of hierarchical heterogeneous modeling using the model of computation approach in order to model complex systems which includes several components from different technical fields.Each of these components is usually designed according to a modeling paradigm that suits the technical domain and is based on specific semantics. Therefore, the overall system, which integrates the heterogeneous models of the components, requires semantic adaptation to ensure proper communication between its various sub-models.In this context, the aim of this thesis is to propose a new approach of semantic adaptation modeling where the semantic adaptation of time and control is specified by defining relationships between the occurrences of events as well as the time tags of these occurrences. This approach was integrated into the ModHel’X platform and tested on the case study of a power window system.

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.

Mots clés: Clocks Relations; Semantic Adaptation; Component-Based Modeling; Multi-Paradigm Modeling; Model Of Computation

Mots clés: Modélisation par Composants; Modélisation Multi-Paradigme; Modèle de Calcul; Adaptation Sémantique.; Relations d’Horloges

Domaines: Autre

Ayman Dogui. Modélisation explicite de l'adaptation sémantique entre modèles de calcul.. Autre. Supélec, 2013. Français. ⟨NNT : 2013SUPL0030⟩. ⟨tel-00995072⟩