Skip to Main content Skip to Navigation
Journal articles

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

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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal-univ-pau.archives-ouvertes.fr/hal-02507286
Contributor : Eric Cariou <>
Submitted on : Thursday, March 12, 2020 - 11:06:52 PM
Last modification on : Tuesday, March 17, 2020 - 3:48:13 AM
Long-term archiving on: : Saturday, June 13, 2020 - 6:27:44 PM

File

11545.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02507286, version 1

Collections

Citation

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

Share

Metrics

Record views

37

Files downloads

30