Une approche IDM de transformation exogène de Wright vers Ada
This work addresses a specific gap for software engineers using the ADL Wright language by enabling automated code generation, though it is incremental as it applies existing MDE techniques to a new domain.
The paper tackled the problem of realizing abstract software architectures described in the ADL Wright language, which lacks built-in implementation means, by developing an automated model-driven engineering approach to transform Wright descriptions into concurrent Ada programs. The result was the creation of two Ecore meta-models and a program called Wright2Ada, which was successfully built and tested for this transformation.
The formal ADL Wright allows to describe the structural and behavioral aspects of abstract software architecture. The behavioral aspects are described in CSP and checked using the model-checker FDR. While the ADL Wright does not offer any means to realize such architectures abstract. The objective of this work is to open up the ADL Wright for Ada through an automated approach based on MDE. To achieve this, we have developed two Ecore meta-models: the meta-model Wright and the partial meta-model of Ada. Moreover, we have designed, built and tested our program Wright2Ada written in ATL to transform software architecture described in Wright to a concurrent program in Ada.