Adaptation d'exécution de Modèles Par Contrats - Archive ouverte HAL Access content directly
Journal Articles Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Year : 2015

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

(1) , (1) , (1) , (1) , (2, 3, 4, 5)
1
2
3
4
5

Abstract

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é.
Not file

Dates and versions

hal-01906772 , version 1 (27-10-2018)

Identifiers

Cite

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, 2015, 34 (6), pp.703-730. ⟨10.3166/tsi.34.703-730⟩. ⟨hal-01906772⟩
35 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More