×

基于协调范式的软件架构实现框架。 (英语) Zbl 1092.68026号

摘要:软件架构在过去十年中有了很大的发展,部分原因是基于组件的开发取得了重大进展,已经成为软件工程的一个主要子领域。架构描述语言(ADL)的相关领域也有了很大发展,为建筑设计的形式化规范和表示提供了多种方法。在这个领域中,它最有趣(也是最近)的一个方面是探索将架构规范映射到可执行表示的不同方法。在本文中,我们提出了一种将任何典型ADL的通用特征映射到可执行代码的方法。映射过程涉及ACME的使用,ACME是描述软件架构的通用语言,以及协调范式。更重要的是,我们展示了如何将ACME的核心概念映射到用协调语言Manifold编写的等效可执行代码。其结果是生成骨架代码,捕获并实现翻译后的体系结构设计的最重要的系统实现属性,从而大大帮助程序员填充其余所需的代码。

MSC公司:

68N99型 软件理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部