|
Title:
|
FROM WRIGHT FORMAL ADL TO A CONCURRENT ADA PROGRAM |
|
Author(s):
|
Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana |
|
ISBN:
|
978-989-8533-56-2 |
|
Editors:
|
Hans Weghorn |
|
Year:
|
2016 |
|
Edition:
|
Single |
|
Keywords:
|
Software architecture, hierarchical Wright ADL, concurrent Ada program, Validation, Simulation, MDE-approach |
|
Type:
|
Full Paper |
|
First Page:
|
27 |
|
Last Page:
|
34 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
The Wright formal ADL allows the description of the structural and behavioral aspects of abstract software architecture. The behavioral aspects are described in CSP and checked using the FDR model-checker. The Wright ADL does not offer any means to execute such abstract architectures. The aim of this paper is to translate a hierarchical software architecture models written in Wright formal ADL to a concurrent Ada program. To achieve this in a model-driven way, we propose a DSL written in Xtext for hierarchical configuration described in Wright ADL. Also, we develop the partial meta-model of Wright including hierarchical configuration. We define some systematic rules of translation from hierarchical Wright to Ada. These rules are written in ATL language while code generation is written in Xpand language. The paper also shows a case study based on hierarchical client-server system. |
|
|
|
|
|
|
