Explicit modeling of the semantic adaptation between models of computation

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.

Data and Resources

Additional Info

Field Value
Source https://theses.hal.science/tel-00995072
Author Dogui, Ayman
Maintainer CCSD
Last Updated May 5, 2026, 10:28 (UTC)
Created May 5, 2026, 10:28 (UTC)
Identifier NNT: 2013SUPL0030
Language fr
Rights https://about.hal.science/hal-authorisation-v1/
contributor Supélec Sciences des Systèmes (E3S) ; Ecole Supérieure d'Electricité - SUPELEC (FRANCE)
creator Dogui, Ayman
date 2013-12-18T00:00:00
harvest_object_id 8e3d6f30-3e9d-4e9d-8e4d-f630eea2eb70
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2026-03-31T00:00:00
set_spec type:THESE