A Lightweight Method to Define Solver-Agnostic Semantics of Domain Specific Languages for Software Product Line Variability Models

Camilo Correa (1) , Raul Mazo (2, 3) , Andres O. Lopez , Jacques Robin (4, 1)

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

We propose a method to address the current lack of standards for both software product line variability modeling languages and their formal semantics. It allows specifying, in an agile, declarative, and solver-agnostic fashion the formal semantics of a domain-specific variability modeling language through a simple JSON based specification format. Our approach leverages the Common Logic Interchange Format (CLIF) standard for interoperability among logical inference engines. We demonstrate our approach with two concrete examples of Variability Models, and present the tooling and architecture that makes this possible.

Mots clés: Software Product Lines; Variability Modeling; Formal Semantics; Common Logic

Domaines: Informatique [cs]

Camilo Correa, Raul Mazo, Andres O. Lopez, Jacques Robin. A Lightweight Method to Define Solver-Agnostic Semantics of Domain Specific Languages for Software Product Line Variability Models. SOFTENG 2023 - The 9th International Conference on Advances and Trends in Software Engineering, IARIA: International Academy, Research and Industry Association, Apr 2023, Venise, Italy. ⟨hal-04077798⟩