一种从 Wright 到 Ada 的外生变换 IDM 方法
软件工程
2012-07-31 v1
摘要
形式化架构描述语言（ADL）Wright 可用于描述抽象软件架构的结构和行为方面。其行为方面采用 CSP 进行描述，并使用模型检测器 FDR 进行验证。然而，ADL Wright 并未提供任何实现此类抽象架构的手段。本工作的目标是通过一种基于模型驱动工程（MDE）的自动化方法，将 ADL Wright 扩展至 Ada 语言。为此，我们开发了两个 Ecore 元模型：Wright 元模型和 Ada 部分元模型。此外，我们设计、构建并测试了用 ATL 编写的 Wright2Ada 程序，用于将用 Wright 描述的软件架构转换为 Ada 并发程序。
引用
@article{arxiv.1207.6831,
title = {Une approche IDM de transformation exog\`ene de Wright vers Ada},
author = {Fourati Farah},
journal= {arXiv preprint arXiv:1207.6831},
year = {2012}
}