利用软件架构指导并验证感知/计算/控制应用的开发
编程语言
2011-09-14 v1 软件工程
摘要
软件架构通过指定软件组件及其交互来描述计算系统的结构。将软件架构映射到实现是一个众所周知的挑战。该映射的一个关键要素是架构对组件之间数据流和控制流交互的描述。这些交互的特征描述可以相当抽象或非常具体，从而提供或多或少地实现指导、编程支持和静态验证。在本文中，我们探索了抽象和具体组件交互规范之间设计空间中的一个点。我们引入了一种行为契约的概念，该契约表达了组件之间允许的交互集合，同时描述了数据流和控制流约束。该声明是架构描述的一部分，允许生成广泛的编程支持，并支持各种验证。我们将我们的方法实例化到一种用于感知/计算/控制应用领域的架构描述语言中，并描述了相关的编译和验证策略。
引用
@article{arxiv.1109.2807,
title = {Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications},
author = {Damien Cassou and Emilie Balland and Charles Consel and Julia Lawall},
journal= {arXiv preprint arXiv:1109.2807},
year = {2011}
}