Adaptation d'exécution de Modèles Par Contrats - Université de Pau et des Pays de l'Adour
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Année : 2015

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é.
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
64 Consultations
0 Téléchargements

Altmetric

Partager

More