Vérification de contrats logiciels à l'aide de transformations de modèles Application à Kmelia - LINA-AELOS Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Vérification de contrats logiciels à l'aide de transformations de modèles Application à Kmelia

Résumé

A software system model covers orthogonal aspects (structure, functions and dynamics). Formally verifying properties of such a model requires the use of various techniques and tools. These tools are based on specific models, written in languages that are specific to the target aspects. Model transformation appears to be the adequate technique to tackle the challenge. In this paper we illustrate a way to use specific models and the related transformations to check a set of various properties covered by contracts. Different levels of contracts are spread over the model elements. This work is implemented using Eclipse plugins in COSTO, a platform dedicated to the Kmelia component model.
Un modèle de système logiciel couvre des aspects orthogonaux (structure, fonctions, dynamique). Vérifier formellement des propriétés de ce modèle implique donc d'utiliser plu-sieurs outils et techniques. Ces outils sont basés sur des modèles spécifiques, écrits dans des langages adaptés aux aspects traités. La transformation de modèle apparaît donc comme une solution naturelle pour la vérification de systèmes. Nous illustrons dans cet article l'utilisation conjointe de modèles spécifiques et des transformations associées pour vérifier les propriétés relatives aux contrats. Les contrats sont déclinés en différents niveaux sur les éléments de modélisation. La mise en œuvre est réalisée avec des plugins Eclipse dans COSTO, une plate-forme dédiée au modèle à composants Kmelia.
Fichier principal
Vignette du fichier
idm11_AAM.pdf (166.52 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01147192 , version 1 (30-04-2015)

Identifiants

  • HAL Id : hal-01147192 , version 1

Citer

Pascal Andre, Gilles Ardourel, Mohamed Messabihi. Vérification de contrats logiciels à l'aide de transformations de modèles Application à Kmelia. 7ièmes Journées sur l'Ingénierie Dirigée par les Modèles, Ileana Ober, Jun 2011, Toulouse, France. ⟨hal-01147192⟩
85 Consultations
54 Téléchargements

Partager

Gmail Facebook X LinkedIn More