Anastasia Mavridou (École polytechnique fédérale de Lausanne, Station 14, 1015 Lausanne, Switzerland) |
Eduard Baranov (École polytechnique fédérale de Lausanne, Station 14, 1015 Lausanne, Switzerland) |
Simon Bliudze (École polytechnique fédérale de Lausanne, Station 14, 1015 Lausanne, Switzerland) |
Joseph Sifakis (École polytechnique fédérale de Lausanne, Station 14, 1015 Lausanne, Switzerland) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.223.6 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |