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

摘要

Lors de la conception d'un système hétérogène, plusieurs paradigmes de modélisation sont utilisés pour modéliser chaque domaine du système. Le modèle global obtenu est donc composé de plusieurs modèles, chacun défini par une sémantique différente. Dans cet article, nous nous focalisons sur l'adaptation sémantique de ces modèles hétérogènes, et nous proposons une solution pour spécifier explicitement cette adaptation par paires de modèles, grâce à des contraintes d'horloges. 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.%When different parts of a system depend on different technical domains, the best suitable paradigm for modeling each part may differ. In this paper, we focus on the semantic adaptation between parts of a model which use different modeling paradigms in the context of model composition, and we propose a solution where this adaptation is explicitly specified by pairs of models, using clock constraints. This approach was integrated into the ModHel'X platform and tested on the case study of a power window system.