Specification and Automatic Checking of Architecture Constraints on Object Oriented Programs

Abstract : Context: Architecture constraints are specifications of conditions to which an architecture model must adhere in order to satisfy an architecture decision imposed by a given design principle. These constraints can be specified with predicate languages like OCL at design time and checked on design artifacts. Objective: Many works in the literature studied the importance of checking these constraints to guarantee quality on design models, and to prevent technical debt and maintenance difficulties. In this paper, we propose a process whose ultimate goal is to enable the checking of these constraints in the implementation stage. Method: The proposed process takes as input a textual specification of an architecture constraint specified at design stage. It translates this specification into meta-programs and then it uses them with aspect-oriented programming to check constraints at the implementation stage and at run-time on object-oriented programs. Results: We experimented an implementation of this process on a set of 12 architecture constraints. The results of this experimentation showed that our process is able to statically and dynamically detect architecture constraint violations on toy object-oriented applications, but also on real-world ones. at source code level and at runtime. It avoids the disappearance of architecture decision knowledge in implementation artifacts, and facilitates later their maintenance.
Type de document :
Article dans une revue
Information and Software Technology, Elsevier, 2018, 101, pp.16-31. 〈10.1016/j.infsof.2018.05.002〉
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01905953
Contributeur : Tibermacine Chouki <>
Soumis le : vendredi 26 octobre 2018 - 11:52:46
Dernière modification le : jeudi 8 novembre 2018 - 01:15:30

Fichier

ist.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Sahar Kallel, Chouki Tibermacine, Slim Kallel, Ahmed Kacem, Christophe Dony. Specification and Automatic Checking of Architecture Constraints on Object Oriented Programs. Information and Software Technology, Elsevier, 2018, 101, pp.16-31. 〈10.1016/j.infsof.2018.05.002〉. 〈hal-01905953〉

Partager

Métriques

Consultations de la notice

6

Téléchargements de fichiers

5