Multi-Paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models

Abstract : Currently, architecture constraints can be specified and checked in different paradigms of software development, the object-oriented, component-based and service-based one. But the current state of the art and practice do not consider their specification at a high level of abstraction, independently from any paradigm vocabulary. We propose in this paper a process combining graphs and feature modeling to specify multi-paradigm architecture constraints. These constraints are expressed with OCL on a particular meta-model of graphs. Then these constraints can be transformed to any chosen paradigm, after their configuration using a feature/variability model. This transformation allows later to handle these constraints in that (chosen) paradigm: to refine them, to generate source code from them, and to check them on models and on source code. A case study is presented in this paper; it concerns architecture constraint specification and configuration under software migration from the object-oriented to the component-based paradigm.
Document type :
Conference papers
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01706094
Contributor : Tibermacine Chouki <>
Submitted on : Saturday, February 10, 2018 - 4:46:41 PM
Last modification on : Thursday, May 9, 2019 - 2:32:56 PM
Long-term archiving on : Friday, May 11, 2018 - 12:16:39 PM

File

sofsem-cr.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Sahar Kallel, Chouki Tibermacine, Ahmed Kacem, Christophe Dony. Multi-Paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models. SOFSEM: Theory and Practice of Computer Science, Jan 2018, Krems an der Donau, Austria. pp.180-193, ⟨10.1007/978-3-319-73117-9_13⟩. ⟨lirmm-01706094⟩

Share

Metrics

Record views

241

Files downloads

102