弗拉维奥·科拉迪尼；保拉·因弗拉迪；亚历山大·沃尔夫。 关于将功能规范与建筑规范相关联：案例研究。 （英语） Zbl 1085.68088号 科学。计算。程序。 59，第3期，171-208（2006）. 摘要：软件体系结构规范主要关注描述系统的组件结构以及组件如何进行行为交互。它们越来越多地成为标准化软件开发过程的一部分，因为它们代表了一个系统抽象，在这个抽象中，与最终系统的正确性相关的设计选择被采纳。因此，许多软件体系结构研究都集中于规范和分析，而很少关注将体系结构规范与更高级别的规范（如系统需求）正式关联。在本文中，我们介绍了解决这个问题的一个实例的进展，即将基于状态的软件架构规范与高级功能规范相关联。我们的方法是使用根据一组时序逻辑属性给出的中间规范来弥合两级规范之间的差距。我们在一个特定案例研究（AEGIS GeoServer Simulation Testbed系统）的背景下描述了我们的方法，展示了如何使用系统关键行为属性的紧凑功能规范来验证该系统的三个可选架构规范。 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68N99型 软件理论 关键词：软件体系结构；功能规范；形式化方法；模拟试验台；验证；验证 软件：n.庇护；Rapide公司 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人，科学。计算。程序。59，第3号，171--208（2006；Zbl 1085.68088） 全文： 内政部