Architecture Diagrams: A Graphical Language for Architecture Style Specification
Architecture Diagrams: A Graphical Language for Architecture Style Specification
复制标题
DOI：
10.4204/eptcs.223.6
复制
发表时间：
2016-08
期刊：
影响因子：
--
通讯作者：
Anastasia Mavridou;Eduard Baranov;S. Bliudze;J. Sifakis
中科院分区：
文献类型：
--
作者：
Anastasia Mavridou;Eduard Baranov;S. Bliudze;J. Sifakis
体系结构风格描述了具有共同特征的体系结构家族。我们最近提出了架构风格规范的配置逻辑。本文研究了一种图形表示法，以提高可读性和表达的方便性。我们研究了简单的架构图和一个更具表现力的扩展，区间架构图。对于每种类型的图，我们给出了它的语义，一组必要和充分的一致性条件，以及一种允许组合地描述指定架构的方法。我们提供了几个例子来说明结果的应用。我们还提出了一个多项式时间算法，用于检查给定的体系结构是否符合由图指定的体系结构样式。
Architecture styles characterise families of architectures sharing common characteristics. We have recently proposed configuration logics for architecture style specification. In this paper, we study a graphical notation to enhance readability and easiness of expression. We study simple architecture diagrams and a more expressive extension, interval architecture diagrams. For each type of diagrams, we present its semantics, a set of necessary and sufficient consistency conditions and a method that allows to characterise compositionally the specified architectures. We provide several examples illustrating the application of the results. We also present a polynomial-time algorithm for checking that a given architecture conforms to the architecture style specified by a diagram.