Une approche IDM de transformation exog\`ene de Wright vers Ada

TL;DR

This paper presents an automated model-driven engineering approach to transform Wright architectural descriptions into Ada code, enabling practical realization of Wright's formal specifications.

Contribution

It introduces a novel transformation method using Ecore meta-models and ATL to convert Wright architectures into executable Ada programs.

Findings

Successfully developed Wright2Ada transformation tool

Automated conversion from Wright to Ada achieved

Enhances practical application of Wright architectural descriptions

Abstract

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.