Skip to Main content Skip to Navigation
Journal articles

Adaptation d'exécution de Modèles Par Contrats

Résumé : Dans le contexte de l’ingénierie des modèles, l’exécution de modèles est un des moyens principaux pour supprimer le fossé entre le code, c’est-à-dire le système développé, et le modèle. Pour adapter une exécution de modèles, nous proposons de directement adapter le modèle en cours d’exécution. Cela oblige à rajouter des éléments nécessaires à l’adaptation dans le modèle mais évite d’avoir un second modèle dédié à l’adaptation comme c’est le cas pour les méthodes de type models@run.time. Cet article présente une approche d’adaptation directe d’exécution de modèle par contrats. Si des conditions du contrat ne sont pas respectées, une action d’adaptation doit être entreprise. L’approche est illustrée par un i-DSML (interpreted Domain Specific Modeling Language) de machines à états et un exemple de signalisation ferroviaire avec comme problématique de s’assurer qu’un modèle est adapté à un environnement d’exécution donné.
Document type :
Journal articles
Complete list of metadatas

https://hal-univ-pau.archives-ouvertes.fr/hal-01906772
Contributor : Gaelle Chancerel-Lannuzel <>
Submitted on : Saturday, October 27, 2018 - 5:45:05 PM
Last modification on : Friday, October 23, 2020 - 5:40:03 PM

Identifiers

Citation

Eric Cariou, Olivier La Goaer, Franck Barbier, Samson Pierre, Mohamed Graiet. Adaptation d'exécution de Modèles Par Contrats. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2015, 34 (6), pp.703-730. ⟨10.3166/tsi.34.703-730⟩. ⟨hal-01906772⟩

Share

Metrics

Record views

38