Architecture Diagrams: A Graphical Language for Architecture Style Specification
Abstract
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.
Cite
@article{arxiv.1608.03324,
title = {Architecture Diagrams: A Graphical Language for Architecture Style Specification},
author = {Anastasia Mavridou and Eduard Baranov and Simon Bliudze and Joseph Sifakis},
journal= {arXiv preprint arXiv:1608.03324},
year = {2016}
}
Comments
In Proceedings ICE 2016, arXiv:1608.03131