Title: Compiling, verifying and simulating dynamic software architectures using ANTLR and coloured-ADL

Authors: Rabah Mokhtari; Allaoua Chaoui

Addresses: Department of Computer Science, Faculty of Mathematics and Computer Science, University of M'sila, M'sila, Algeria; MISC Laboratory, Department of Computer Science and its Applications, Faculty of NTIC, University Constantine 2-Abdelhamid Mehri, Constantine, Algeria ' MISC Laboratory, Department of Computer Science and its Applications, Faculty of NTIC, University Constantine 2-Abdelhamid Mehri, Constantine, Algeria

Abstract: The concept of reconfigurable and dynamic software architecture (DSA) occupies today an important place in the field of software engineering. As result, several architecture description languages (ADLs) and approaches have been proposed for describing DSA in the highest level of abstraction. However, most of these works present theoretical solutions without giving an idea on the execution of final systems at run time. In this paper, we propose a new DSA called coloured software architecture (CSA) based on two concepts coloured operation and coloured connector. Then, we propose a new ADL called coloured-ADL and implement a compiling, verification and simulation tool dedicated to CSA. The simulation of system instances, derived from a CSA, is mainly used to explain coloured-ADL and evaluate the reliability of the simulated system. On the other hand, the verification is focused on checking a new defined safety property called architectural stack overflow (ASO). A safe CSA should be free of ASO violation property. To check a CSA, the verification uses also finite state processes (FSP) and labelled transition state (LTS) to expect this kind of property. We illustrate our propositions through two case studies from the literature.

Keywords: coloured software architecture; CSA; architecture description languages; ADL; compiler; ANTLR; discrete event simulation; DES; reconfiguration; reliability; finite state processes; FSP; labelled transition state; LTS.

DOI: 10.1504/IJCNDS.2017.087389

International Journal of Communication Networks and Distributed Systems, 2017 Vol.19 No.4, pp.406 - 433

Accepted: 25 Oct 2016
Published online: 25 Sep 2017 *

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