A Black-Box and Contract-Based Verification of Model Transformations - Archive ouverte HAL Access content directly
Journal Articles The International Arab Journal of Information Technology Year : 2019

A Black-Box and Contract-Based Verification of Model Transformations

, (1) ,
1
Meriem Lahrouni
  • Function : Author
Abdelaziz El Fazziki
  • Function : Author

Abstract

The main goal of Model-Driven Engineering (MDE) is to manipulate productive models to build software. In this context, model transformation is a common way to automatically manipulate models. It is then required to ensure that transformation has been correctly processed. In this paper, we propose a contract-based method to verify that a target model is a valid result of a source model with respect to the transformation specification. The verification is made in a black-box mode, independently of the implementation and the execution of the transformation. The method allows the contract to be written in any constraint language. In association with this method, we have implemented a tool that partially generates contracts written in OCL and manages their evaluation for both endogenous and exogenous transformations.
Fichier principal
Vignette du fichier
11545.pdf (430.56 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02507286 , version 1 (12-03-2020)

Identifiers

  • HAL Id : hal-02507286 , version 1

Cite

Meriem Lahrouni, Eric Cariou, Abdelaziz El Fazziki. A Black-Box and Contract-Based Verification of Model Transformations. The International Arab Journal of Information Technology, 2019, 16(4). ⟨hal-02507286⟩

Collections

UNIV-PAU LIUPPA
44 View
41 Download

Share

Gmail Facebook Twitter LinkedIn More