Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model Reasoning

Camilo Correa Restrepo (1) , Jacques Robin (2, 3) , Raul Mazo (4, 5)

1 UP1 - Université Paris 1 Panthéon-Sorbonne
2 ESIEA - Ecole Supérieure d'Informatique Electronique Automatique [Paris]
3 CRI - Centre de Recherche en Informatique de Paris 1
4 ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne
5 Lab-STICC_P4S - Equipe Processes for Safe and Secure Software and Systems

Until recently, the state-of-the-art of Software Product Line (SPL) configuration and verification automation consisted of a collection of ad-hoc approaches tightly coupling a single input Variability Modeling Language (VML) with a single constraint solver. To remedy this situation, a novel generic model-driven architecture was then proposed that enables using a variety of VMLs and solvers. The key ideas of this proposal were (a) the use of a standard logical language (CLIF) as a pivot between VMLs and solvers, and (b) the use of a standard data exchange format (JSON) to explicilty and declaratively specify the abstract syntax and semantics of the VMLs to be used in an SPL engineering project and the automated reasoning task to be performed by the solvers.

In this article, we overcome the limitations of this initial proposal in three key ways: (1) we add the ability to reason on textual or hybrid VMLs, rather than only on diagrammatic VMLs, enhancing the versatility of the architecture on the input side; (2) we enable the use of solvers from a third paradigm, enhancing the versatility of the architecture on the output side; and, (3) we present the results of scalability performance experiments of an implementation of this architecture. These results have been achieved without significantly altering the architecture, demonstrating its agnosticism with respect to specific VMLs and solvers. It also shows that it can underlie the implementation of practical variability reasoning tools that scale up to real sized variability model analysis and configuration needs.

Mots clés: Automated Reasoning; Generic Architecture; Configuration Automation; Software and its engineering; Software architectures; Computing methodologies; Software Product Lines; Model verification and validation

Domaines: Informatique [cs]

Camilo Correa Restrepo, Jacques Robin, Raul Mazo. Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model Reasoning. ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Sep 2024, Linz, Austria. pp.126 - 137, ⟨10.1145/3640310.3674090⟩. ⟨hal-04812406⟩