Analyzing architectural styles with alloy
Analyzing architectural styles with alloy
复制标题
用合金分析建筑风格
DOI：
10.1145/1147249.1147259
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
D. Garlan
中科院分区：
文献类型：
--
作者：
Jung Soo Kim;D. Garlan
许多体系结构的支柱是一种体系结构风格，它提供了特定于领域的设计词汇表和一组关于如何使用该词汇表的约束。因此，设计一个合理的和适当的建筑风格成为一个重要的和智力挑战的活动。不幸的是，尽管有许多工具可以帮助分析单个架构，但在帮助风格设计师的工具方面所做的工作相对较少。在本文中，我们将展示如何映射一个建筑风格，表示正式的建筑描述语言，到一个关系模型，可以自动检查的属性，如风格是否一致，是否满足一些谓词的建筑结构，两种风格是否兼容的组成，以及是否一种风格完善另一种。
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, designing a sound and appropriate architectural style becomes an important and intellectually challenging activity. Unfortunately, although there are numerous tools to help in the analysis of individual architectures, relatively less work has been done on tools to help the style designer. In this paper we show how to map an architectural style, expressed formally in an architectural description language, into a relational model that can be automatically checked for properties such as whether a style is consistent, whether a style satisfies some predicate over the architectural structure, whether two styles are compatible for composition, and whether one style refines another.