Title: A template for formalising reliable Acme-based software architecture

Authors: Rida Mezghache; Fadila Atil

Addresses: LISCO Laboratory, Department of Computer Science, Badji Mokhtar University, POB 12, 23000 Annaba, Algeria ' LISCO Laboratory, Department of Computer Science, Badji Mokhtar University, POB 12, 23000 Annaba, Algeria

Abstract: Acme/Armani is a declarative language based on first-order predicate logic. Acme supports the component and connector paradigm with types, as well as invariants and architectural styles. It also supports constraints. Our main goal in this work is to provide Acme with a new architectural style that fully supports component-based architectures. To this end, we propose first a formalised model based on Acme architectural elements to have no gap between the initial design and Acme semantics. Based on this model, we create an architectural style, and then we present architecture constraints, while outlining how they are specified and interpreted. We will firstly express these constraints in the first-order predicate logic, and then we will translate them in the Acme/Armani formalism, to ensure syntactic and composition conformance, which makes the configuration as reliable and consistent as design.

Keywords: component-based architectures; reliability; integrity constraints; software architecture; architecture description language; component; connector; configuration; Acme; Armani.

DOI: 10.1504/IJCAT.2018.090027

International Journal of Computer Applications in Technology, 2018 Vol.57 No.1, pp.14 - 27

Received: 03 Oct 2016
Accepted: 19 Jan 2017
Published online: 27 Feb 2018 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article