利用软件架构来引导和验证SCC应用程序的开发
摘要：软件架构描述了计算系统的结构，通过指定软件组件及其交互来实现。将软件架构映射到实现是一个众所周知的挑战。这种映射的关键要素是架构描述了组件之间的数据和控制流交互。这些交互的描述可以是相当抽象的，也可以是非常具体的，提供更多或更少的实现指导、编程支持和静态验证。在本文中，我们探讨了抽象和具体的组件交互规范之间的设计空间。我们引入了一种交互约定的概念，表达了组件之间允许的交互，描述了数据和控制流约束。这个声明是架构描述的一部分，允许生成广泛的编程支持，并启用各种验证。我们在Sense/Compute/Control应用程序的架构描述语言中实现了我们的方法，并描述了相关的编译和验证策略。
作者：Damien Cassou (INRIA Bordeaux - Sud-Ouest, LaBRI), Charles Consel (INRIA Bordeaux - Sud-Ouest, ENSEIRB), Emilie Balland (INRIA Bordeaux - Sud-Ouest), Julia Lawall (DIKU)
论文ID：1106.4200
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-06-22