Work

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

Year: 2024

Type: conference-paper

Abstract: 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.

Source: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)

DOI: 10.1145/3640310.3674090

Authors: Camilo Correa Restrepo, Jacques Robin, Raul Mazo

Institutions: ESIEA University, Université Paris 1 Panthéon-Sorbonne, Laboratoire des Sciences et Techniques de l’Information de la Communication et de la Connaissance, École nationale supérieure de techniques avancées Bretagne

Language: English

Topic: Advanced Software Engineering Methodologies

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4402977989

FWCI:

Cites: 48

Cited by:

Related to: 10