A black-box and contract-based verification of model transformations

Joint Authors

Lahrouni, Maryam
Cariou, Eric
al-Fazziki, Abd al-Aziz

Source

The International Arab Journal of Information Technology

Issue

Vol. 16, Issue 6 (30 Nov. 2019)10 p.

Publisher

Zarqa University

Publication Date

2019-11-30

Country of Publication

Jordan

No. of Pages

10

Main Topic

Information Technology and Computer Science

Abstract EN

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

American Psychological Association (APA)

Lahrouni, Maryam& Cariou, Eric& al-Fazziki, Abd al-Aziz. 2019. A black-box and contract-based verification of model transformations. The International Arab Journal of Information Technology،Vol. 16, no. 6.
https://search.emarefa.net/detail/BIM-854884

Modern Language Association (MLA)

al-Fazziki, Abd al-Aziz…[et al.]. A black-box and contract-based verification of model transformations. The International Arab Journal of Information Technology Vol. 16, no. 6 (Nov. 2019).
https://search.emarefa.net/detail/BIM-854884

American Medical Association (AMA)

Lahrouni, Maryam& Cariou, Eric& al-Fazziki, Abd al-Aziz. A black-box and contract-based verification of model transformations. The International Arab Journal of Information Technology. 2019. Vol. 16, no. 6.
https://search.emarefa.net/detail/BIM-854884

Data Type

Journal Articles

Language

English

Notes

Includes bibliographical references

Record ID

BIM-854884