×

zbMATH — the first resource for mathematics

Architecture diagrams: a graphical language for architecture style specification. (English) Zbl 1433.68100
Bartoletti, Massimo (ed.) et al., Proceedings of the 9th interaction and concurrency experience workshop, ICE’16, Heraklion, Greece, June 8–9, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 223, 83-97 (2016).
Summary: 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.
For the entire collection see [Zbl 1433.68009].

MSC:
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
PDF BibTeX Cite
Full Text: Link